[Issue 12941] Everything should be @unsafe by default, and explicitly vetted (and documented) as @safe

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Thu Dec 11 00:09:14 PST 2014


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

--- Comment #10 from Sobirari Muhomori <dfj1esp02 at sneakemail.com> ---
(In reply to hsteoh from comment #3)
> All declarations without initializers are @safe, regardless of the type of
> the declared symbol(s).

What if the default initializer violates the type's invariant?

--


More information about the Digitalmars-d-bugs mailing list