Re: checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/29/2014 11:08 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
<ola.fosheim.grostad+dl...@gmail.com>" wrote:
The best you can hope to have is partial correctness. Even with a system
for formal verification.

Well, why would this be true?