Merge pull request #9490 from dotty-staging/fix-#9475

Fix #9475: Add regression test

Author: liufengyun

tests/run-macros/i9475/Macro_1.scala

@@ -0,0 +1,23 @@
+
+import scala.quoted._
+
+object Exp {
+
+  private def compileImpl(e: Expr[Int], env: Map[String, Expr[Int]])(using QuoteContext): Expr[Int] = {
+    e match {
+      case '{$s:Int}  => s
+      case exp =>
+        compileImpl(exp, env)
+    }
+  }
+
+  private def compileUnlift(e: Expr[Int])(using QuoteContext): Expr[Int] = {
+    val environment = Map[String, Expr[Int]]()
+    compileImpl(e, environment)
+  }
+
+  inline def compile(inline expr: Int): Int = {
+    ${compileUnlift('expr)}
+  }
+
+}

tests/run-macros/i9475/Test_2.scala

@@ -0,0 +1,9 @@
+object Test {
+
+  def main(args: Array[String]): Unit = {
+    println("Hello world!")
+
+    println(Exp.compile(3))
+  }
+
+}