test/files/neg/unchecked.scala


1
2
3
4
5
6
7
8
9
10
11

abstract class Test {
  type T <: Option[String]
  val x: Option[String]
  def f {
    x match {
      case x: T => Console.println("4")
      case a: Some[String] => Console.println("3")
      case None => Console.println("else case")
    }
  }
}