sabin2.check

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

sabin2.scala:22: error: type mismatch;
 found   : Test.Base#T
 required: _7.T where val _7: Test.Base
   a.set(b.get()) // Error
           ^
one error found