1c1e6d0fd8 ^
f4267ccd96 ^
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 }