Recursive template instantiation of template type doesn't work

template<typename _Tp>
struct Temp { typedef _Tp value_type; };

struct Foo { int bar; };

void func()
{
    Temp<Temp<Foo> >::value_type::value_type *p;
    p->bar; // bar not highlighted
    Temp<Temp<Foo>::value_type>::value_type *p2;
    p2->bar; // bar highlighted
}