checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/30/2014 07:46 PM, Andrei Alexandrescu wrote:
> 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
>

You seem to be close to enlightenment:
http://www.madore.org/~david/zen/#conc.dualism