1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
// { dg-do compile { target c++17_only } } // { dg-options "-fconcepts" } // Check that constraints don't break unconstrained partial // specializations. template<typename T> struct S { }; template<typename T> struct S<T*> { }; template<> struct S<int> { }; int main() { }