1 // PR c++/51239
2 // { dg-require-effective-target c++11 }
3 // This variant should work because tail is equivalent to list.
4 
5 template<class y, class... x>
6 class list{};
7 template<class a, class... b>
8 using tail=list<a, b...>;
9 template <class...T>
10 void f(tail<T...>);
11 
main()12 int main()
13 {
14   f<int,int>({});
15 }
16