1 2 3 4 5 6 7 8 9 10 11 12 13
trait A { class C {} } trait B extends A { class C {} // error: cannot override } trait C extends A { type C = Int // error: cannot override }