assume, assert, enforce, @safe

[Walter Bright via Digitalmars-d]

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.