bug690.scala

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

package test;
trait test {
  type T;
  trait Manager {
    type T <: test.this.T;
    def foo(t : T) = {};
  }
  object M0 extends Manager {
    override type T = test.this.T;
    override def foo(t : T) = super.foo(t);
  }
  def t : T;
  M0.foo(t);  
}