test/files/neg/t9629.scala


1
2
3
4
5
6
7
8
9
10
11
12

class Test {
  def foo(a: Any) {
    a match {
      case Option[Int] => // error was issued before
      case Some(Option[Int]) => // error was skipped, patmat issued an internal error

      // variations
      case (_, Option[Int]) =>
      case x @ (y @ Option[Int]) =>
    }
  }
}