TypeInferenceFailure.scala

// It compiled under Scala 2.7.7.final.  However, it doesn't compile under Scala 2.8.0.RC2.
import scala.collection.mutable.{Map}
object TypeInferenceFailure {
  def f(x: Int) = x match {
    case 0 => null.asInstanceOf[List[String]]
    case _ => null.asInstanceOf[Map[Int, Int]]
  }
}