Re: checkedint call removal

[via Digitalmars-d]

Let's try to me more formal about it then.

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

"assume(X)" means: X