Re: Checking function parameters in Phobos

[Timon Gehr]

On 11/20/2013 02:52 PM, Jacob Carlborg wrote:

On 2013-11-20 13:56, Timon Gehr wrote:

We do in any case:

import std.algorithm, std.range;

void main(){
     auto a = [1,2,3,4,5];
     auto s = sort(a);
     swap(a[0],a[$-1]);
     assert(is(typeof(s)==SortedRange!(int[])) && !s.isSorted());
}

I don't understand what this is supposed to show. That the type is
"SortedRange" but it's actually not sorted?

Yes, hence SortedRange being sorted is just a convention in any case.