[Issue 19065] Struct invariant violated in @safe with T.init

[d-bugmail at puremagic.com]

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

Walter Bright <bugzilla at digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe
                 CC|                            |bugzilla at digitalmars.com
           Hardware|x86_64                      |All
                 OS|Linux                       |All
           Severity|normal                      |enhancement

--- Comment #1 from Walter Bright <bugzilla at digitalmars.com> ---
I think this change defeats the purpose of having an invariant. T.init is
supposed to be a valid object, and so should pass the invariant.

It's not a bug, it's the way the language is designed to work.

To make this modification to the semantics, a fairly compelling use case will
be required.

--