scala - シングルトンタイプでマッチングするときに、Scala 2.10が「一致が完全ではない可能性がある」という警告を出すのはなぜですか？

Question

Scala2.10.0-M4では

object X
def f(e: Either[Int, X.type]) = e match {
  case Left(i) => i
  case Right(X) => 0
}

与える：

warning: match may not be exhaustive.
It would fail on the following input: Right(<not X>)

これは正しいです？確かに、試合は実際には徹底的です。

（その間、Scala2.9.Xに戻ると

error: pattern type is incompatible with expected type;
 found   : object X
 required: X.type
           case Right(X) => 0

これはおそらくバグでした。）

Answer 1

悲しいことに、に生息する2つの値がありますX.type。1つは明らかなものでXあり、もう1つはもちろんですnull。したがって、あなたのパターンはケースを見逃しています:(

Answer 2

そして、パッチが適用されています。https：//github.com/retronym/scala/compare/ticket/5968を参照してください。