class Super[T];

abstract class C {
  type T;
  val v = new Object();
  class D extends Super[T];
  class E extends Super[v.type];
}

object Main {
  def f(x: C#D, y: C#E): Unit = ();
}