2813b0123 ^
1 2 3 4
5 6 7 8 9 10
trait T(x: Int) { def f = x } trait U extends T class D extends U { // error }