assume, assert, enforce, @safe

[Dicebot via Digitalmars-d]

On Thursday, 31 July 2014 at 03:52:55 UTC, Andrei Alexandrescu 
wrote:
> It would be awesome if you (a) documented formally the current 
> behavior and (b) submit bug reports wherever you find egregious 
> faults in it. -- Andrei

It is documented at http://dlang.org/contracts.html
As for bug reports - how can I file those if I have no clue how 
system is supposed to be used? I don't think it is necessarily 
bad or buggy, just can't fin the way to make good use of it. Or 
do you expect "please teach me use contracts" bug report? :)