Only track inlined positions

Author: nicolasstucki

compiler/src/dotty/tools/dotc/ast/tpd.scala

@@ -7,7 +7,7 @@ import typer.ProtoTypes
 import transform.SymUtils._
 import transform.TypeUtils._
 import core._
-import util.Spans._, Types._, Contexts._, Constants._, Names._, Flags._, NameOps._
+import util.Spans._, util.SourcePosition, Types._, Contexts._, Constants._, Names._, Flags._, NameOps._
 import Symbols._, StdNames._, Annotations._, Trees._, Symbols._
 import Decorators._, DenotTransformers._
 import collection.{immutable, mutable}
@@ -1232,7 +1232,7 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
   }
 
   /** A key to be used in a context property that tracks enclosing inlined calls */
-  private val InlinedCalls = Property.Key[List[Tree]]()
+  private val InlinedCalls = Property.Key[List[SourcePosition]]()
 
   /** A key to be used in a context property that tracks the number of inlined trees */
   private val InlinedTrees = Property.Key[Counter]()
@@ -1254,15 +1254,15 @@ object tpd extends Trees.Instance[Type] with TypedTreeInfo {
           case t1 :: ts2 => ts2
           case _ => oldIC
       else
-        call :: oldIC
+        call.sourcePos :: oldIC
 
     val ctx1 = ctx.fresh.setProperty(InlinedCalls, newIC)
     if oldIC.isEmpty then ctx1.setProperty(InlinedTrees, new Counter) else ctx1
   }
 
   /** All enclosing calls that are currently inlined, from innermost to outermost.
    */
-  def enclosingInlineds(using Context): List[Tree] =
+  def enclosingInlineds(using Context): List[SourcePosition] =
     ctx.property(InlinedCalls).getOrElse(Nil)
 
   /** Record inlined trees */

compiler/src/dotty/tools/dotc/quoted/MacroExpansion.scala

@@ -13,7 +13,7 @@ object MacroExpansion {
   def position(using Context): Option[SourcePosition] =
     ctx.property(MacroExpansionPosition)
 
-  def context(inlinedFrom: tpd.Tree)(using Context): Context =
+  def context(inlinedFrom: SourcePosition)(using Context): Context =
     ctx.fresh.setProperty(MacroExpansionPosition, SourcePosition(inlinedFrom.source, inlinedFrom.span)).setTypeAssigner(new Typer).withSource(inlinedFrom.source)
 }
 

compiler/src/dotty/tools/dotc/quoted/QuoteContextImpl.scala

@@ -26,7 +26,7 @@ object QuoteContextImpl {
     new QuoteContextImpl(ctx)
 
   def showTree(tree: tpd.Tree)(using Context): String = {
-    val qctx = QuoteContextImpl()(using MacroExpansion.context(tree))
+    val qctx = QuoteContextImpl()(using MacroExpansion.context(tree.sourcePos))
     val syntaxHighlight =
       if (ctx.settings.color.value == "always") SyntaxHighlight.ANSI
       else SyntaxHighlight.plain

compiler/src/dotty/tools/dotc/report.scala

@@ -115,7 +115,7 @@ object report:
     if (ctx.settings.Ydebug.value) warning(msg, pos)
 
   private def addInlineds(pos: SrcPos)(using Context): SourcePosition =
-    def recur(pos: SourcePosition, inlineds: List[Trees.Tree[?]]): SourcePosition = inlineds match
+    def recur(pos: SourcePosition, inlineds: List[SourcePosition]): SourcePosition = inlineds match
       case inlined :: inlineds1 => pos.withOuter(recur(inlined.sourcePos, inlineds1))
       case Nil => pos
     recur(pos.sourcePos, tpd.enclosingInlineds)

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

@@ -132,7 +132,7 @@ object Inliner {
           i"""|Maximal number of $reason (${setting.value}) exceeded,
               |Maybe this is caused by a recursive inline method?
               |You can use ${setting.name} to change the limit.""",
-          (tree :: enclosingInlineds).last.srcPos
+          (tree :: enclosingInlineds).last
         )
     tree2
   }
@@ -724,7 +724,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
         val callToReport = if (enclosingInlineds.nonEmpty) enclosingInlineds.last else call
         val ctxToReport = ctx.outersIterator.dropWhile(enclosingInlineds(using _).nonEmpty).next
         inContext(ctxToReport) {
-          report.error(message, callToReport.srcPos)
+          report.error(message, callToReport)
         }
       case _ =>
     }
@@ -1432,7 +1432,7 @@ class Inliner(call: tpd.Tree, rhsToInline: tpd.Tree)(using Context) {
         ctx.compilationUnit.suspend() // this throws a SuspendException
 
     val evaluatedSplice = inContext(quoted.MacroExpansion.context(inlinedFrom)) {
-      Splicer.splice(body, inlinedFrom.srcPos, MacroClassLoader.fromContext)
+      Splicer.splice(body, inlinedFrom, MacroClassLoader.fromContext)
     }
     val inlinedNormailizer = new TreeMap {
       override def transform(tree: tpd.Tree)(using Context): tpd.Tree = tree match {