Are contracts intended for verifying @safety;

[Somebody via Digitalmars-d-learn]

...and it would, unlike enforce(), of course throw an Error 
instead of an Exception.