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