bug708.scala

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

trait A {
  type T;
  trait X {
    private[A] type S <: T;
    /*private[A]*/ def foo : S;
  }
  trait Y extends X {
    override private[A] type S = Any;
    override /*private[A]*/ def foo = null;
  }
}