[Bug c++/45225] gcc accepts ill-formed template code combining Variadic Templates and Partial specialization

[boostcpp at gmail dot com]

------- Comment #1 from boostcpp at gmail dot com  2010-08-07 12:18 -------
I also noticed gcc accept this code.
Should I create separate bug report?

template < typename ... Types >
class Foo { };

// Params is template parameter.
template < typename ... Types, typename Params >
class Foo< typename template Types < Params > ... >
{ } ;

int main()
{
    // gcc accepts this.
    // actually tuple must take exactly one template argument.
    Foo< std::tuple<int, int>, std::tuple<int, float, double> > a ;
}


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45225