[Issue 18016] using uninitialized value is considered @safe but has undefined behavior

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=18016

uplink.coder at googlemail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |uplink.coder at googlemail.com

--- Comment #3 from uplink.coder at googlemail.com ---
Checking if a void values escapes a function is as difficult as the scope
stuff.


void initialized escapes should certainly be disallowed in @safe code.

--