More test cases for pattern matching against erased parameters

Author: zeptometer

tests/run-custom-args/run-macros-erased/i17105.check

@@ -1,2 +1,3 @@
 case erased: [erased case]
-case erased nested: -10
+case erased nested: c
+case erased nested 2: d

tests/run-custom-args/run-macros-erased/i17105/Macro_1.scala

@@ -9,12 +9,17 @@ def testExprImpl(body: Expr[Any])(using Quotes): Expr[String] =
     case '{ def erasedfn(erased y: String) = "placeholder"; $a(erasedfn): String } =>
       '{ $a((erased z: String) => "[erased case]") }
     case '{
-      def erasedfn(a: Int)(b: Int): Int = a
+      def erasedfn(a: String, b: String)(c: String, d: String): String = a
       $y(erasedfn): String
     } => Expr("This should not match")
     case '{
-      def erasedfn(a: Int)(erased b: Int): Int = a
+      def erasedfn(a: String, erased b: String)(erased c: String, d: String): String = a
       $y(erasedfn): String
     } =>
-      '{ $y((a: Int) => (erased b: Int) => -a) }
+      '{ $y((a: String, erased b: String) => (erased c: String, d: String) => d) }
+    case '{
+      def erasedfn(a: String, erased b: String)(c: String, erased d: String): String = a
+      $y(erasedfn): String
+    } =>
+      '{ $y((a: String, erased b: String) => (c: String, erased d: String) => c) }
     case _ => Expr("not matched")

tests/run-custom-args/run-macros-erased/i17105/Test_2.scala

@@ -1,3 +1,10 @@
 @main def Test: Unit =
   println("case erased: " + testExpr { def erasedfn1(erased x: String) = "placeholder"; erasedfn1("arg1")})
-  println("case erased nested: " + testExpr { def erasedfn2(p: Int)(erased q: Int) = p; erasedfn2(10)(0).toString() })
+  println("case erased nested: " + testExpr {
+    def erasedfn2(p: String, erased q: String)(r: String, erased s: String) = p
+    erasedfn2("a", "b")("c", "d")
+  })
+  println("case erased nested 2: " + testExpr {
+    def erasedfn2(p: String, erased q: String)(erased r: String, s: String) = p
+    erasedfn2("a", "b")("c", "d")
+  })