71e42a799a ^
f029c3a141 ^
1 2
3
trait T { type U } // "abstract override" shouldn't be allowed on types trait T1 extends T { abstract override type U = Int }