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