1c1e6d0fd8 ^
1 2 3 4 5 6 7
trait A { type T; type M >: T } trait B extends A { val x : String; val u : A { type T = B.this.T } ; type T = x.type; type M = u.M }