Merge pull request #3635 from retronym/ticket/8329

SI-8329 Better hygiene for patmat partial functions

1 files changed, 29 insertions, 0 deletions

diff --git a/test/files/pos/t8329.scala b/test/files/pos/t8329.scala
new file mode 100644
index 0000000000..fcd5e50b37
--- /dev/null
+++ b/test/files/pos/t8329.scala
@@ -0,0 +1,29 @@
+object Test {
+  def pf(pf: PartialFunction[Any, Unit]) = ()
+  def f1(pf: Function[Any, Unit]) = ()
+ 
+  class A1; class B1
+  def test1(x: String, x1: String, default: String) = pf {
+    case _ if (
+         x.isEmpty
+      && default.isEmpty // was binding to synthetic param
+      && x1.isEmpty      // was binding to synthetic param
+    ) =>
+      x.isEmpty
+      default.isEmpty // was binding to synthetic param
+      x1.isEmpty      // was binding to synthetic param
+      new A1; new B1
+  }
+
+  def test2(x: String, x1: String, default: String) = f1 {
+    case _ if (
+         x.isEmpty
+      && default.isEmpty
+      && x1.isEmpty
+    ) =>
+      x.isEmpty
+      default.isEmpty
+      x1.isEmpty
+      new A1; new B1
+  }
+}