// PR c++/71548
// { dg-do compile { target c++11 } }

template<typename> class fl {};
template<typename = void, template<class...> class = fl>
struct S {};
template<typename... T>
void f(S<T...> ) {}
void lol() {
    S<> s;
    f(s); // { dg-error "no matching function for call to" }
}