blob: 0a66a753b6f0cd3101b82700faa8103463743e7c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
/*
* filter: It would fail on the following input
*/
object Test extends dotty.runtime.LegacyApp {
virtMatch()
def virtMatch() = {
List(1, 3, 4, 7) match {
case 1 :: 3 :: 4 :: 5 :: x => println("nope")
case 1 :: 3 :: 4 :: 6 :: x => println("nope")
case 1 :: 3 :: 4 :: 7 :: x => println(1)
}
}
}
|