1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
trait T(x: Int) { def f = x } class C0 extends T // error class C(x: Int) extends T() // error trait U extends C with T trait V extends C(1) with T(2) // error // error trait W extends T(3) // error class E extends T(0) class F extends E with T(1) // error