checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/30/2014 05:45 PM, Tofu Ninja wrote:
> On Wednesday, 30 July 2014 at 15:24:57 UTC, Timon Gehr wrote:
>> I see. (Though I secretly still dare to hope for verified OpenGL
>> drivers, or something analogous: it is not completely out of reach
>> theoretically; the machine can be given a quite precise formal
>> specification.)
>
> There is literally no chance in hell for a verified opengl driver. The
> number of permutations on the state alone is astronomical and
> un-testable. Its made even worse by the fact that the hardware changes
> every year or so.
>
> Sources: I am doing an internship at nvidia right now :P

Noted. Up for a challenge? :)