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