class A {
  case class B(x: C) extends A {}
  class C {}
}