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