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

[boostcpp at gmail dot com]

------- Comment #4 from boostcpp at gmail dot com  2010-08-07 14:17 -------
It doesn't compile the following code which I think well-formed.

#include <tuple>

template < typename ... Types >
class Foo ;

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


int main()
{
    Foo< std::tuple<int>, std::tuple<int, int> > a ;
}


-- 


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