1 files changed, 23 insertions, 0 deletions
diff --git a/tests/untried/neg/t5572.scala b/tests/untried/neg/t5572.scala
new file mode 100644
index 000000000..81f848362
--- /dev/null
+++ b/tests/untried/neg/t5572.scala
@@ -0,0 +1,23 @@
+class A
+class B
+
+trait X
+
+object Z {
+  def transf(a: A, b: B): X = null
+}
+
+class Test {
+
+  def bar(): (A, B)
+
+  def foo: Unit = {
+    val (b, a) = bar()
+    Z.transf(a, b) match {
+      case sth =>
+        run(sth, b)
+    }
+  }
+
+  def run(x: X, z: B): Unit = ()
+}