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