> I'm not implying that I cannot believe that this use-case will work, only asking for some assurance from the compiler devs that it does.

You have my assurances that it works ;-)