assume, assert, enforce, @safe

[Timon Gehr via Digitalmars-d]

On 08/02/2014 01:19 AM, Jonathan M Davis wrote:
>
> If we had that, I'd actually start using in blocks. As it is, I think
> that they're useless except when inheritance is involved,

And when it is involved, they are broken because the compiler insists on 
removing them on each override by default.