tests/pending/run/virtpatmat_opt_sharing.scala


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)
    }
  }
}