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.