Description Nathan Ridge 2010-12-28 17:58:32 EST

The parser marks as a syntax error the following valid code:

template <typename T>
struct A
{
    typedef Ttype;
};

template <typename T>
struct X
{
    template <typename A<T>::type x>  // SYNTAX ERROR HERE
    struct Y
    {
        
    };
};

Notice that in spite of the presence of "typename", the template paramter of Y is a non-type template parameter. The type of the template parameter is "typename A<T>::type", and the name of the template parameter is "x". The "typename" is necessary because A<T> is a dependent type.