enforce()?

[Walter Bright]

Andrei Alexandrescu wrote:
> Basically there's a marked difference between contract checking (which 
> verifies the architectural integrity of a program) and error handling 
> (which deals with errors that occur in correct programs). Contracts help 
> with the former, enforce helps with the latter.
> 
> The differences are marked enough that TDPL dedicates a separate chapter 
> to each.

Yes, I agree it is extremely important to separate the concepts of contract 
checking from error handling.