// PR c++/51239
// { dg-require-effective-target c++11 }
// This variant should work because tail is equivalent to list.

template<class y, class... x>
class list{};
template<class a, class... b>
using tail=list<a, b...>;
template <class...T>
void f(tail<T...>);

int main()
{
  f<int,int>({});
}