Checking function parameters in Phobos

[Andrei Alexandrescu]

On 11/20/13 6:14 AM, Timon Gehr wrote:
> Yes, hence SortedRange being sorted is just a convention in any case.

That's right. In particular we can't have assumeSorted check for 
isSorted even at the point of creation, and even with debug-only 
asserts. This is because checking would change the complexity of binary 
search and related algorithms, which is often prohibitive.

Andrei