On Monday, 13 November 2017 at 12:15:26 UTC, Nathan S. wrote:
Unqual!Element seed = r.front;

alias MapType = Unqual!(typeof(mapFun(CommonElement.init)));

This looks like a job for std.typecons.Rebindable!(const A) instead of Unqual!(const A) which is used currently. I am surprised that this is the first time anyone has run into this.

Is Unqual necessary here?:
https://github.com/dlang/phobos/blob/master/std/algorithm/searching.d#L1284
https://github.com/dlang/phobos/blob/master/std/algorithm/searching.d#L1340

And here
https://github.com/dlang/phobos/blob/master/std/algorithm/searching.d#L1301
https://github.com/dlang/phobos/blob/master/std/algorithm/searching.d#L1355
is necessary something like RebindableOrUnqual instead of Unqual:

template RebindableOrUnqual(T){
static if (is(T == class) || is(T == interface) || isDynamicArray!T || isAssociativeArray!T)alias RebindableOrUnqual = Rebindable!T;
        else alias RebindableOrUnqual = Unqual!T;
}

Reply via email to