Re: assume, assert, enforce, @safe

[bearophile via Digitalmars-d]

H. S. Teoh:

IMO the correct solution is for the compiler to insert 
preconditions at the calling site,

I have seen this suggestion tens of times, but nothing has 
happened. (delegates make the management of contract blame more 
compex).

Bye,
bearophile