Re: 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+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?

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