blob: d76b29307d5b0cc9bce5557bcb00d8d313b0997d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/*
* filter: It would fail on the following input
*/
object Test extends dotty.runtime.LegacyApp {
(true, true) match {
case (true, true) | (false, false) => 1
}
List(5) match {
case 1 :: Nil | 2 :: Nil => println("FAILED")
case (x@(4 | 5 | 6)) :: Nil => println("OK "+ x)
case 7 :: Nil => println("FAILED")
case Nil => println("FAILED")
}
}
|