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

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