DIP 1006 - Preliminary Review Round 1

[ag0aep6g]

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