On 8/1/2014 4:24 PM, bearophile wrote:
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).
There's a bugzilla issue on it, considerable discussion there, and consensus that it's the correct solution. But nobody has implemented it yet.