Add test cases for erased parameters

Author: zeptometer

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

@@ -0,0 +1 @@
+case erased: [erased case]

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

@@ -0,0 +1,11 @@
+import scala.quoted.*
+
+inline def testExpr(inline body: Any) = ${ testExprImpl('body) }
+def testExprImpl(body: Expr[Any])(using Quotes): Expr[String] =
+  body match
+    // Erased Types
+    case '{ def erasedfn(y: String) = "placeholder"; $a(erasedfn): String } =>
+      Expr("This case should not match")
+    case '{ def erasedfn(erased y: String) = "placeholder"; $a(erasedfn): String } =>
+      '{ $a((erased z: String) => "[erased case]") }
+    case _ => Expr("not matched")

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

@@ -0,0 +1,2 @@
+@main def Test: Unit =
+  println("case erased: " + testExpr { def erasedfn1(erased x: String) = "placeholder"; erasedfn1("arg1")})