ttp17.c

来自「用于进行gcc测试」· C语言 代码 · 共 8 行

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" }