[Bug c++/14429] New: valid template template argument rejected

["heinlein at informatik dot uni-ulm dot de" <gcc-bugzilla at gcc dot gnu dot org>]

The following valid code is rejected with the error messages:
bug.cxx:6: type/value mismatch at argument 1 in template parameter list for `
   template<template<class U, U*p> class T> struct X'
bug.cxx:6:   expected a template of type `template<class U, U*p> class T', got 
   `template<class U, U*p> class T'
bug.cxx:6: ISO C++ forbids declaration of `x' with no type

template <template <typename U, U* p> class T>
struct X {};

template <template <typename U, U* p> class T>
struct Y {
    X<T> x;
};

-- 
           Summary: valid template template argument rejected
           Product: gcc
           Version: 3.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: heinlein at informatik dot uni-ulm dot de
                CC: gcc-bugs at gcc dot gnu dot org


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