3f96a415e1 ^
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
trait A { val C: Any } class B extends A { class C object C } trait AA { type C def C: Int => C } class BB extends AA { case class C(v: Int) }