bug708.check

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

bug708.scala:8: error: error overriding type S in trait X with bounds >: Nothing <: A.this.T;
 type S has incompatible type Any
    override private[A] type S = Any;
                             ^
one error found