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