saito.check

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

saito.scala:10: error: class A cannot be instantiated because it does not conform to its self-type A with B
        val a: A = new A; // should not be allowed
                   ^
one error found