2
template<class I> struct T { class TC; };
3
template<class I> struct T<I>::TC { typedef int INT; typedef typename I::BLA i;};
4
T<X>::TC *tcp; // Instantiation of T<X>
5
T<X>::TC tc; // Instantiation of T<X>::TC, should produce an error due to unknown BLA