1 template <typename> class B{}; 2 template <typename c> class C { 3 public: 4 using U = B<c>; 5 }; 6 class A : C<A> { 7 U u; 8 }; 9