enforce()?

[Andrei Alexandrescu]

bearophile wrote:
> I have counted about 200 usages of std.contracts.enforce() inside
> Phobos. Can you tell me what's the purpose of enforce() in a language
> that has built-in Contract Programming?

You need to read TDPL for that :o).

> And what are the purposes of std.contracts.AssumeSorted()? Is it
> useful for something?

AssumeSorted was an experiment. I think it has drawbacks that I don't 
know how to address, so I'll retire it.


Andrei