Internal error when pattern matching

[scabug]

case class Foo(a: String, b: String)

object Bar {
  def unapply(s: String): Option[Long] =
    try { Some(s.toLong) } catch { case _ => None }
}

object Test {
  def main(args: Array[String]) {
    val f = Foo("1", "2")
    f match {
      case Foo(Bar(1), Bar(2)) => ()

      // failes:
      case Foo(Bar(i), Bar(j)) if i >= 0 => () 

      // works:
      //case Foo(Bar(i: Long), Bar(j)) if i >= 0 => ()
      //case Foo(Bar(i), Bar(j)) => ()
    }
  }
}

error: internal error, types don't match: pattern variable value i:Long temp variable temp11:Int(1)
one error found

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-1260?orig=1
Reporter: Eskil (eskil)
Assignee: @DRMacIver

[scabug]

@michelou said:
I confirm the bug (2.7.2.RC1 on Win XP).

[scabug]

@DRMacIver said:
Should be fixed in r16341.

[scabug]

@DRMacIver said:
This fix turned out to be unsound, so I've reverted it in r16534.

[scabug]

@paulp said:
Fixed in r18248.