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