Merge pull request #10780 from dotty-staging/fix-#10771

Fix #10771: Propagate missing span

Author: nicolasstucki

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

@@ -891,7 +891,9 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
               val trailing = collectImpure(idx + 1, args.length)
               val argInPlace =
                 if (trailing.isEmpty) arg
-                else letBindUnless(TreeInfo.Pure, arg)(seq(trailing, _))
+                else
+                  def argsSpan = trailing.map(_.span).foldLeft(arg.span)(_.union(_))
+                  letBindUnless(TreeInfo.Pure, arg)(Block(trailing, _).withSpan(argsSpan))
               finish(seq(prefix, seq(leading, argInPlace)))
             }
           }

tests/pos-macros/i10771/MacroA_1.scala

@@ -0,0 +1,8 @@
+import scala.quoted._
+
+case class MyQuoted(val ast: String, runtimeQuotes: List[String])
+
+object MyQuoteMacro:
+  inline def myquote: MyQuoted = ${ MyQuoteMacro.apply }
+  def apply(using Quotes): Expr[MyQuoted] =
+    '{ MyQuoted("p", ${Expr.ofList(List( '{ "foo" } ))}) }

tests/pos-macros/i10771/MacroB_1.scala

@@ -0,0 +1,7 @@
+import scala.quoted._
+
+object PullAst:
+  def applyImpl(quoted: Expr[MyQuoted])(using qctx: Quotes): Expr[String] =
+    '{ $quoted.ast.toString }
+  inline def apply(inline quoted: MyQuoted): String =
+    ${ applyImpl('quoted) }

tests/pos-macros/i10771/Test_2.scala

@@ -0,0 +1,3 @@
+object Test:
+  def main(args: Array[String]): Unit =
+    println( PullAst.apply( MyQuoteMacro.myquote ) )