[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

Walter Bright <bugzilla at digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla at digitalmars.com

--- Comment #4 from Walter Bright <bugzilla at digitalmars.com> ---
(In reply to Steven Schveighoffer from comment #2)
> I'd want Walter's opinion on this.

I agree with you. The spec should be fixed to continue to disallow void
initialization for reference types, and say that void initialization for value
types is implementation defined, not undefined.

--