overload.check

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

overload.scala:10: error: erroneous reference to overloaded definition,
most specific definition is: method f in class C of type (int)Unit,
yet alternative definition   method f in class D of type (Any)Unit
is defined in a subclass
  (new D).f(1)
          ^
one error found