blob: 2be2b039f2c3e0b0e623e9f171e11290612ae9fd (
plain) (
blame)
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]) =>
}
}
}
|