WIP Add test cases

Author: zeptometer

tests/run-macros/i17105/Macro_1.scala

@@ -0,0 +1,30 @@
+import scala.quoted.*
+
+inline def test1: String =  ${ testExpr1 }
+def testExpr1(using Quotes): Expr[String] =
+  '{ def f(x: Int) = 1; val n = 2; f(n) } match
+    case '{ def g(y: Int) = 1; val n = 2; $a(g, n): Int } =>  Expr(a.show)
+    case _ => Expr("not matched")
+
+inline def test2: String = ${ testExpr2 }
+def testExpr2(using Quotes): Expr[String] =
+  '{ def f(x: Int, y:Int) = 1; f(1, 2) } match
+    case '{ def g(y: Int, z:Int) = 1; $a(g): Int } =>  Expr(a.show)
+    case _ => Expr("not matched")
+
+inline def test3: String = ${ testExpr3 }
+def testExpr3(using Quotes): Expr[String] =
+  '{
+      def f1(using Ordered[Int]) =
+        def f2(using Ordered[Int]) =
+          1 < 2
+        f2 || 2 < 3: Boolean
+   } match
+    case '{
+      def g1(using ord: Ordered[Int]) =
+        def g2(using Ordered[Int]) =
+          1 < 2
+        $a(g2, ord): Boolean
+    } => Expr(a.show)
+    case _ => Expr("not matched")
+

tests/run-macros/i17105/Test_2.scala

@@ -0,0 +1,4 @@
+@main def app =
+  println(test1)
+  println(test2)
+  println(test3)