Fix 1365: Fix bindings in patterns

We need to compare pattern types with expected types in order
to derive knowledge about pattern-bound variables. This is done
use the mechanism of gadt bounds.

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