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