bug758.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 8 行

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 
}