[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