[Bug c++/61401] New: Wrong treatment of empty template-argument packs during deduction

[alexey.kudinkin at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61401

            Bug ID: 61401
           Summary: Wrong treatment of empty template-argument packs
                    during deduction
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
          Assignee: unassigned at gcc dot gnu.org
          Reporter: alexey.kudinkin at gmail dot com

template<typename, typename>
struct X;

template<typename T>
struct X<T, T(T)>
{
  typedef int type;
};

template<typename T, typename ...Args> 
struct Y : X<Args..., T, T(T)>
{
};

Y<int>::type x;

Compiling this snippet g++ (4.9.0) complains about wrong amount of template
arguments while shouldn't.