package t1722

object Test {
  val x = new AnyRef with C
}