virtpatmat, hidden behind -Yvirtpatmat

at least one imminent TODO: undo hardwired generation of if/then/else,
and decide based on type whether to call flatMap/orElse or inline those
methods from Option

review by extempore

1 files changed, 8 insertions, 0 deletions

diff --git a/test/files/run/virtpatmat_casting.scala b/test/files/run/virtpatmat_casting.scala
new file mode 100644
index 0000000000..7c5e1c7117
--- /dev/null
+++ b/test/files/run/virtpatmat_casting.scala
@@ -0,0 +1,8 @@
+object Test extends App {
+  println(List(1,2,3) match {
+    case Nil => List(0)
+// since the :: extractor's argument must be a ::, there has to be a cast before its unapply is invoked
+    case x :: y :: z :: a :: xs => xs ++ List(x)
+    case x :: y :: z :: xs => xs ++ List(x)
+  })
+}