Discussion Thread: DIP 1035-- at system Variables--Community Review Round 2

Paul Backus snarwin at gmail.com
Sat Feb 27 20:12:34 UTC 2021


On Saturday, 27 February 2021 at 20:07:30 UTC, Paul Backus wrote:
>
> Ah, right, because you're only accessing the int, not the 
> pointer. Good catch.

...which means the whole approach doesn't actually work to begin 
with. D is perfectly within its rights to let you void-initialize 
the union (even though it currently doesn't), because @safe code 
can't access the pointer anyway, so it can never lead to 
undefined behavior.


More information about the Digitalmars-d mailing list