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, 15 insertions, 0 deletions

diff --git a/test/files/pos/virtpatmat_castbinder.scala b/test/files/pos/virtpatmat_castbinder.scala
new file mode 100644
index 0000000000..be269638ce
--- /dev/null
+++ b/test/files/pos/virtpatmat_castbinder.scala
@@ -0,0 +1,15 @@
+class IntMap[+V]
+case class Bin[+T](m: IntMap[T]) extends IntMap[T]
+case class Tip[+T](x: T) extends IntMap[T]
+
+trait IntMapIterator[V, T] {
+  def valueOf(tip: Tip[V]): T
+  def pop: IntMap[V]
+
+  def next: T =
+    pop match {
+      case Bin(t@Tip(_)) => {
+        valueOf(t)
+      }
+    }
+}
\ No newline at end of file