Merge pull request #1377 from dotty-staging/#1365

Fix 1365: Fix bindings in patterns

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/pos/i1365.scala b/tests/pos/i1365.scala
new file mode 100644
index 000000000..e7d47da4b
--- /dev/null
+++ b/tests/pos/i1365.scala
@@ -0,0 +1,13 @@
+import scala.collection.mutable.ArrayBuffer
+
+trait Message[M]
+class Script[S] extends ArrayBuffer[Message[S]] with Message[S]
+
+class Test[A] {
+  def f(cmd: Message[A]): Unit = cmd match {
+    case s: Script[_] => s.iterator.foreach(x => f(x))
+  }
+  def g(cmd: Message[A]): Unit = cmd match {
+    case s: Script[z] => s.iterator.foreach(x => g(x))
+  }
+}