1 // PR c++/71548
2 // { dg-do compile { target c++11 } }
3 
4 template<typename> class fl {};
5 template<typename = void, template<class...> class = fl>
6 struct S {};
7 template<typename... T>
f(S<T...>)8 void f(S<T...> ) {}
lol()9 void lol() {
10     S<> s;
11     f(s); // { dg-error "no matching function for call to" }
12 }
13