checkedint call removal

[Daniel Murphy via Digitalmars-d]

"Ary Borenszweig"  wrote in message news:lrb21p$30lf$1 at digitalmars.com...

> > He's asking for assert to mean 'check this condition' and assume to mean
> > 'optimize as if this is a mathematical identity'.
>
> And how is that different if instead of:
>
> if (x != 3) assert(0);
>
> you write:
>
> assume(x != 3);

Because if assert only means 'check this condition' then the optimizer can't 
optimize based on the assumption that it's true.