1template <int I> 2struct A { 3}; 4 5template <typename T> 6struct B { 7 typedef typename T::type type; 8 static const type j = T::j; 9 10 A<j> b; 11}; 12 13struct C { 14 typedef int type; 15 static const int j = 3; 16}; 17 18int i = B<C>::j; 19 20