gistfile1.cpp

#include <iostream>

template<class T>
struct BX
{
  T t;
};

template<class T>
struct B {
    typedef BX<T> X;
};

template<class T>
void foo(BX<T> &x) {
	std::cout << "foo(" << typeid(x).name() << ")" << std::endl;
}

int main(void) {
	B<int>::X x;
        foo(x);
}