gcc/testsuite/g++.dg/template/ttp17.C

   1 // { dg-options -fno-new-ttp-matching }
   2
   3 template <template <typename> class C>
   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" }