template<typename t> class C1 {
  template<typename X> struct Y {
    typedef C1<X> other;
  };
};

template<typename t> class C2: public C1<t>
{
  template<typename X> struct Y {
    typedef C2<X> other;
  };
};

C2<int> blowup;