在Scala中，为什么不对类型参数发出未经检查的警告？

Question

我大致了解什么是类型擦除以及为什么我们会遇到未经检查的警告。但是，我不明白为什么在以下情况下只发出一个未经检查的警告：

class A[K] {
  def receive: PartialFunction[Any, Unit] = {
    case ds: List[Double] =>  // unchecked warning
      println("* List[Double]")
    case kx: Vector[K] =>      // no unchecked warning
      println("* Vector[K]")
  }
}

object TestApp extends App {
  val a = new A[Int]
  a.receive(List("bar"))
  a.receive(Vector("foo"))
}

不幸的是，两个接听电话都与大小写子句匹配。编译器确实为第一个子句发出了警告：

警告:未检查类型模式列表[Double]中的非可变类型参数Double，因为它已被擦除消除。

我知道TypeTag[T]可以用来实现更好的类型安全。但是我在这里关心的是为什么没有针对第二个case子句发出未检查的警告。据我所知，类型参数K也被删除了，根据Java泛型常见问题

当编译器发现目标类型为参数化类型或类型参数的强制转换时，也会报告“未检查”警告

所以我想知道为什么没有未检查的警告？

Answer 1

这可能是一个错误。SI-9188对此是开放的。