checkedint call removal

[Timon Gehr via Digitalmars-d]

On 07/30/2014 06:30 PM, Daniel Murphy wrote:
> "Timon Gehr"  wrote in message news:lrb5pd$1uv$1 at digitalmars.com...
>
>> On a more serious note, are you trying to argue that there are no
>> pragmatic differences in software quality based on the obvious fact
>> that the system running the software is implemented on top of
>> uncertain physics?
>
> No, I was saying that in any verified system there will be a portion
> that is just trust.

Obviously.

(That this was the point was not obvious to me because it already holds 
in purely formal systems, there is not actually a need to shave off 
abstractions.)