Scala模式匹配编译器警告

我把它减少到了琐碎的情况：

Vector.maybeGetVector match {
  case v:Vector => true
  case _ => false
}

case class Vector(x:Int,y:Int)

object Vector {
  def maybeGetVector : Option[Vector] = Some(new Vector(1,2))
}

我使用通配符代替None的唯一原因是我只想匹配返回的Option的子类型.

我期待编译器警告,因为很容易推断第一个case语句包含无法访问的代码.选项[Vector]不能是Vector的子类型.

奇怪的是,如果我添加以下case语句：

case i:Int => false

它引发了一个错误并告诉我需要Option [Vector].

有没有办法在命名约定之外以这种方式防止程序员错误.唯一可以与Option匹配的东西是Some / None / null.我觉得我错过了一些明显的东西.