Re: Checking function parameters in Phobos

[Timon Gehr]

On 11/20/2013 08:49 AM, Jacob Carlborg wrote:

Would we accompany the assumeSorted with an assert in the function
assuming something is sorted? We probably don't want to rely on convention.

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());
}