checkedint call removal

[Andrei Alexandrescu via Digitalmars-d]

On 7/30/14, 9:20 AM, Walter Bright wrote:
> 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.

So then:

assert == assume
assert === assume (per proposed notation)
assert is assume
assert <= assume
assume <= assert
assert.opEquals(assume)
assert.opCmp(assume) == 0


Andrei