checkedint call removal

[via Digitalmars-d]

On Friday, 1 August 2014 at 06:24:29 UTC, Ola Fosheim Grøstad 
wrote:
> DESIGN BY CONTRACT

BTW, there is an emerging field "program synthesis" that is based 
on Design by contract where the compiler automatically generates 
code that takes you from preconditions to postconditions and 
verifies it to be correct.

Genetic progamming does the same.

That's nice. Now you don't need those annoying programmers that 
cannot get things right. You only need the architect and the 
build system.