1 // { dg-options -fno-new-ttp-matching } 2 3 template <template <typename> class C> f()4 void f() {} 5 6 template <typename T, typename U = int> 7 struct S {}; 8 9 template void f<S>(); // { dg-error "match" } 10