On 2016-09-03 11:56, Walter Bright wrote: > Specializations are preferred over non-specializations, and T:T is the > identity specialization. What if the compiler can prefer template constraint in the same way? Then perhaps this workaround could be avoided. -- /Jacob Carlborg