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

[via Digitalmars-d-bugs]

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

--- Comment #13 from Sobirari Muhomori <dfj1esp02 at sneakemail.com> ---
(In reply to Jonathan M Davis from comment #11)
> That doesn't make anything unsafe. It just means that calling anything on
> the type will violate the invariant, and an AssertError will be thrown when
> built with assertions enabled.

The method's safety can rely on invariant. If assertions are disabled the
method will proceed and corrupt memory?

--