assume, assert, enforce, @safe

[Sebastiaan Koppe via Digitalmars-d]

If assertions are disabled in release builds, and you 
specifically instruct the compiler to build one, are you not 
assuming that the assertions will hold?

Then what is wrong with extending those assumptions to the 
optimizer?

Unless the assertions trigger in debug build, you will not end up 
with bugs in the release.