Add test cases

Author: zeptometer

tests/run-macros/i17905.check

@@ -1,2 +1,3 @@
-case 1: [3rd case] another_given outside
-case 2: [3rd case] given outside
+case 1: [matched 1st case] another_given outside
+case 2: [matched 2nd case] given outside
+case 3: [matched 1st case] another_given outside

tests/run-macros/i17905/Macro_1.scala

@@ -4,7 +4,7 @@ inline def testCtxParam(inline body: Any) = ${ testCtxParamImpl('body) }
 def testCtxParamImpl(body: Expr[Any])(using Quotes): Expr[String] =
   body match
     case '{ given i: String = "given"; def g(using s: String) = "placeholder"; $a(g, i): String } =>
-      '{ $a(((s: String) ?=> s"[3rd case] ${s}"), "another_given") }
+      '{ $a(((s: String) ?=> s"[matched 1st case] ${s}"), "another_given") }
     case '{ def g(using s: String) = "placeholder"; $a(g): String } =>
-      '{ $a((s: String) ?=> s"[3rd case] ${s}") }
+      '{ $a((s: String) ?=> s"[matched 2nd case] ${s}") }
     case _ => Expr("not matched")

tests/run-macros/i17905/Test_2.scala

@@ -2,3 +2,5 @@
   println("case 1: " + testCtxParam { given String = "given"; def f(using t: String) = "placeholder"; f + " outside" })
   given String = "given"
   println("case 2: " + testCtxParam { def f(using t: String) = "placeholder"; f + " outside" })
+  /* This is expected to match the first case. The current QuoteMatcher identifies a function with a contextual function. */
+  println("case 3: " + testCtxParam { given i: String = "given"; def a(x: String) = "placeholder"; a(i) + " outside" } )