Re: checkedint call removal

[via Digitalmars-d]

On Wednesday, 30 July 2014 at 10:17:58 UTC, Ola Fosheim Grøstad 
wrote:
Let's try to me more formal about it then.

"assert(X)" means: !(X) || bottom
"assume(X)" means: X


Got that wrong (so much for correctness!):

"assert(X)" means: X || bottom

"assume(X)" means: X