fc419f55e ^
1 2 3 4 5 6
object Test { def foo(x: Option[Int]) = x match { case Some(_: Double) => true // error case None => true } }