checkedint call removal

[bearophile via Digitalmars-d]

Walter Bright:

> That's a good point. You could reasonably argue that such an 
> optimization should not happen.

I agree. Turning D assert() in a kind of a assert-assume hybrid 
will be a mistake.


>> I think you are still missing the essential difference between 
>> assume and assert.
>
> How does assume improve the situation?

I didn't ask for an assume in this thread. See what I am asking 
for:

http://forum.dlang.org/thread/jrxrmcmeksxwlyuitzqp@forum.dlang.org?page=22#post-kjqjompjdhmbmzyhbzbb:40forum.dlang.org

The answer I've given to Andrei is generic, but I can give more 
details.

Bye,
bearophile