assume, assert, enforce, @safe

[Dicebot via Digitalmars-d]

On Wednesday, 30 July 2014 at 23:50:51 UTC, H. S. Teoh via 
Digitalmars-d wrote:
> But if you don't want to check ever to be removed, currently 
> you have to
> write:
>
> 	if (!requiredCondition)
> 		assert(0); // compiler never removes this
>
> which IMO is relatively clear, and the use of assert(0) for 
> forceful
> termination is consistent with existing practice in D code.

Not helping.

```
import std.stdio;

void foo()
in { writeln("in contract"); }
body { }

void main() { foo(); }
```

Compile with -release and check the output.