typename pour sous classes

Bonjour à tous,

J'ai un problème pour compiler le code suivant sous VC8 beta 1 :

template <class T, class U>
struct B
{};

template <class T>
struct A : public B <T, typename T::subtype::subtype> // ligne 7
{
};

struct T1
{
typedef int subtype;
};

struct T2
{
typedef T1 subtype;
};

int main()
{
A<T2> a; // ligne 23
};


Si je remplace
struct A : public B <T, typename T::subtype::subtype>
par
struct A : public B <T, typename T::subtype>

Là, il veut bien compiler.

Est-ce un problème dans le code, ou bien dans le compilo ?



Pour info, les messages d'erreur :

TestTemplate.cpp(7) : error C2143: syntax error : missing ',' before
'T1::{ctor}'
TestTemplate.cpp(23) : see reference to class template instantiation
'A<T>' being compiled
with
[
T=T2
]
TestTemplate.cpp(7) : error C2976: 'B' : too few template arguments
TestTemplate.cpp(4) : see declaration of 'B'
TestTemplate.cpp(8) : error C2955: 'B' : use of class template requires
template argument list
TestTemplate.cpp(4) : see declaration of 'B'
TestTemplate.cpp(23) : error C2512: 'A<T>' : no appropriate default
constructor available
with
[
T=T2
]

--
Loïc