checkedint call removal

[via Digitalmars-d]

On Tuesday, 29 July 2014 at 22:07:42 UTC, Timon Gehr wrote:
> On 07/29/2014 11:08 PM, "Ola Fosheim =?UTF-8?B?R3LDuHN0YWQi?= 
> <ola.fosheim.grostad+dlang at 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?

Because there is no way you can prove say OpenGL drivers to be 
correct. They are a black box provided by the execution 
environment.