abstract.check

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

abstract.scala:6: error: type mismatch;
 found   : A
 required: A.this.T
  def foo2: T = bar().baz();
                      ^
abstract.scala:9: error: type mismatch;
 found   : A
 required: A.this.T
  def foo5: T = baz().baz();
                      ^
two errors found