Merge pull request #12193 from dotty-staging/fix-#12173

Cancel quotes while inlining

Author: nicolasstucki

compiler/src/dotty/tools/dotc/typer/Inliner.scala

@@ -1376,7 +1376,11 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
       super.typedValDef(vdef1, sym)
 
     override def typedApply(tree: untpd.Apply, pt: Type)(using Context): Tree =
-      val res = constToLiteral(betaReduce(super.typedApply(tree, pt))) match {
+      def cancelQuotes(tree: Tree): Tree =
+        tree match
+          case Quoted(Spliced(inner)) => inner
+          case _ => tree
+      val res = cancelQuotes(constToLiteral(betaReduce(super.typedApply(tree, pt)))) match {
         case res: Apply if res.symbol == defn.QuotedRuntime_exprSplice
                         && level == 0
                         && !hasInliningErrors =>

tests/pos-macros/i12173.scala

@@ -0,0 +1,7 @@
+object TestMacro {
+  inline def test[T](inline t: T): T = ${ '{ ${ 't } } }
+}
+
+object Test {
+  TestMacro.test("x")
+}

tests/pos-macros/i12173b.scala

@@ -0,0 +1,7 @@
+object TestMacro {
+  inline def test[T](inline t: T): T = ${ '{ ${ '{ ${ 't } } } } }
+}
+
+object Test {
+  TestMacro.test("x")
+}

tests/pos-macros/i12173c.scala

@@ -0,0 +1,7 @@
+object TestMacro {
+  inline def test[T](inline t: T): T = ${ '{ ${ '{ ${ '{ ${ '{ ${ '{ ${ '{ ${ '{ ${ 't } } } } } } } } } } } } } } }
+}
+
+object Test {
+  TestMacro.test("x")
+}