1 2 3 4 5 6 7
template<typename T> struct A { T x; }; template<typename T> struct B { B() { A<T> a; } }; struct Incomplete; struct start { B<Incomplete> b; typedef A<Incomplete> type; };