bug412.check

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

bug412.scala:9: error: type mismatch;
 found   : Null(null)
 required: A.this.CX with A.this.C2
    val c: CX with C2 = null;
                        ^
one error found