scala - 抽象类型的部分函数没有类型删除警告

Question

以下定义不会在 Scala 2.10.4 上触发任何警告:

class NoWarning[T] {
  def f: PartialFunction[Any, T] = { case x: List[T] => x.head }
}

然而，这个在 Scala 2.10.4 上确实(如预期的那样)，但是 不是 在 2.11.1 上:

class WithWarning {
  def f[T]: PartialFunction[Any, T] = { case x: List[T] => x.head }
}

为什么第一个定义根本不会触发警告？

为什么第二个定义不会在 Scala 2.11.1 上触发警告？

Answer 1

Odersky explains模式匹配的差异取决于类型参数是在方法上还是在类上。

我认为这是因为子类化。