enforce()?

[Andrei Alexandrescu]

Michel Fortin wrote:
> On 2010-06-16 05:15:24 -0400, Walter Bright <newshound1 at digitalmars.com> 
> said:
> 
>> The difference is not based on those 3 points, but on what Andrei 
>> wrote here. Contracts and error checking are completely distinct 
>> activities and should not be conflated.
> 
> True.
> 
> Yet, enforce is inside std.contracts. If that isn't conflating the two 
> concepts I wonder what it is. :-)

You're right! I think Lars' suggestion is sensible - we should move 
enforce to object. Better yet we should find a better name for 
std.contracts. Ideas?

Andrei