gcc-4.9/gcc/testsuite/g++.dg/template/ttp16.C


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