checkedint call removal

[John Colvin via Digitalmars-d]

On Sunday, 27 July 2014 at 20:20:54 UTC, Walter Bright wrote:
> On 7/27/2014 6:52 AM, bearophile wrote:
>> A possible piece of the solution is the recently suggested 
>> __trait(valueRange,
>> exp), but alone that's not enough.
>
> Instead of adding more language features, purpose existing ones:
>
>     assert(exp >= min && exp <= max);

That's great for communicating bounds from code to the compiler, 
but what bearophile is talking about is accessing the compiler's 
value rage propagation information in code. The other way around.