checkedint call removal

[via Digitalmars-d]

On Thursday, 31 July 2014 at 20:24:09 UTC, Walter Bright wrote:
> In closing, Hoare's paper:
>
>    http://sunnyday.mit.edu/16.355/Hoare-CACM-69.pdf
>
> speaks of "assertions" which can be proven to be true. (It 
> doesn't mention "assumptions".) The simplest way to prove it is 
> to put in a runtime check. D's assert() nicely fits in with 
> that.

Assumptions are axioms. It mentions axioms.

This is an axiom:

int x = 0;