1 // { dg-options -fnew-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>);
10