о_О>template <typename T>
о_О>struct A
о_О>{
о_О>    struct Tag1;

о_О>    template <typename U>
о_О>    struct B;

о_О>    typedef B<Tag1> Tag1_t;
о_О>};

о_О>//fail
о_О>template <typename T> template <typename U>
о_О>struct A<T>::B<U>
о_О>{
о_О>};
о_О>