checkedint call removal

[Ary Borenszweig via Digitalmars-d]

On 7/30/14, 1:39 PM, Daniel Murphy wrote:
> "Ary Borenszweig"  wrote in message news:lrb6ev$2ln$1 at digitalmars.com...
>
>> > Because if assert only means 'check this condition' then the optimizer
>> > can't optimize based on the assumption that it's true.
>>
>> Assert means: check this condition and terminate the program if it
>> doesn't hold.
>>
>> So why can't the compiler optimize based on this?
>
> The compiler can optimize based on this.  But with that definition of
> assert it can't optimize based on the assumption that the condition is
> always true, without checking it first.

So assume stays there in release mode and makes the program crash if it 
doesnt' hold?