t0528neg.check

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

t0528neg.scala:2: error: covariant type A occurs in invariant position in type => Array[T forSome { type T <: A }] of method toArray
  def toArray: Array[T forSome {type T <: A}]
      ^
one error found