case class C[A >: C](x: A) {}