A question regarding template disambiguator was given here:
template disambiguator
and in the answer we can read:
ISO C++03 14.2/4
14.2/4
BaseType does depend on the type T- but so does InnerB. In effect, from the perspective of any code inside BaseType, it does not depend on T.
BaseType
T
InnerB