Scala中的方差组合有问题

Question

这是来自Scala course on Coursera:，第 4.4 课的示例

class Array[+T] {
  def update(x: T) = ???
}

这会导致 repl 出错：

error: covariant type T occurs in contravariant position in type T of value x

在幻灯片上，马丁说这是一个“有问题的组合”。为什么会这样？

Answer 1

这在http://www.artima.com/pins1ed/type-parameterization.html 的“变量和数组”部分有解释（来自 Odersky、Venners 和 Spoon 的 Scala 编程）。