Re: checkedint call removal

[Walter Bright via Digitalmars-d]

On 7/30/2014 7:51 AM, Andrei Alexandrescu wrote:

Also, it's unclear to me what the optimizer would be supposed to do if an
assumption turns out to be false.

The program is no longer valid at that point.