patmatでunreachable codeなやつ

どう見てもunreachableじゃない上に実際リーチするはずのcaseに対してunreachable警告が出るのでこれはsbt cleanで直るやつかと思ったけど特に直らなかった 何

— トデス子'\ (@todesking) 2016, 1月 9

Gitterでやりとりがあったので。こういうコードです。

sealed abstract class E
object E {
  trait L extends E
  case object SNil extends L
  case class Cons(car: E, cdr: E) extends L

  def foo(e: L): Int = e match {
    case SNil => 1
    case Cons(_, SNil) => 2 // unreachable code
    case Cons(_, _) => 2
  }
}

2.12.0-M3だと出ない警告なので、ちょっと調べてます。