On 03/06/2018 06:01 PM, Paolo Invernizzi wrote:
Only if the assert does not hold, you have _not_ tested it,

In other words: only if you have a bug in your code.

If @safe is only safe as long you don't have bugs, it's no different from @system. So -release turns @safe code into @system code, if it contains asserts.

and a future optimiser will use the assert expression for some hints that generated broken code

Reply via email to