Class template specialization partial ordering and function synthesis
Clang is being GCC-compatible (and compatible with existing code that depends on both of these behaviors). Consider [temp.deduct.type]p1: […] an attempt is made to find template argument values (a type for a type parameter, a value for a non-type parameter, or a template for a template parameter) that will make P, after substitution of the … Read more