checkedint call removal

[Timon Gehr via Digitalmars-d]

On 08/02/2014 01:16 AM, Andrei Alexandrescu wrote:
> On 8/1/14, 3:05 PM, Daniel Gibson wrote:
>> Yeah, it seems like assertion doesn't *have* to mean something like
>> "promise", but can also be used in the sense of "claim" or "thesis",
>> which is much weaker.
>
> That said I'm perversely excited by the notion of a keyword called
> "thesis"... -- Andrei
>

:D

Maybe you should contact Hoare in order to extend 
http://en.wikipedia.org/wiki/C._A._R._Hoare#Apologies_and_retractions