test/files/pos/bug758.scala


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 
}