checkedint call removal

[Daniel Murphy via Digitalmars-d]

"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.