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