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? And what are the purposes of std.contracts.AssumeSorted()? Is it useful for something? Bye, bearophile (I know this is not the digitalmars.D.learn newsgroup).