Add comment on Inlined call simplification

Apply the simplification later in ReifyQuotes when
call has been processed.

Author: nicolasstucki

compiler/src/dotty/tools/dotc/transform/PostTyper.scala

@@ -231,6 +231,9 @@ class PostTyper extends MacroTransform with IdentityDenotTransformer { thisPhase
           //     be duplicated
           //  2. To enable correct pickling (calls can share symbols with the inlined code, which
           //     would trigger an assertion when pickling).
+          // In the case of macros we keep the call to be able to reconstruct the parameters that
+          // are passed to the macro. This same simplification is applied in ReifiedQuotes when the
+          // macro splices are evaluated.
           val callTrace =
             if (call.symbol.is(Macro)) call
             else Ident(call.symbol.topLevelClass.typeRef).withPos(call.pos)

compiler/src/dotty/tools/dotc/transform/ReifyQuotes.scala

@@ -526,9 +526,13 @@ class ReifyQuotes extends MacroTransformWithImplicits with InfoTransformer {
               case vdef: ValDef => vdef.symbol.is(Synthetic) // Assume that only _this bindings are tagged with Synthetic
               case _ => false
             }
-
+            // Simplification of the call done in PostTyper for non-macros can also be performed now
+            // see PostTyper `case Inlined(...) =>` for description of the simplification
+            val call2 =
+              if (level == 0) Ident(call.symbol.topLevelClass.typeRef).withPos(call.pos)
+              else call
             val tree1 =
-              if (level == 0) cpy.Inlined(tree)(call, stagedBindings, Splicer.splice(body, call, splicedBindings, tree.pos).withPos(tree.pos))
+              if (level == 0) cpy.Inlined(tree)(call2, stagedBindings, Splicer.splice(body, call, splicedBindings, tree.pos).withPos(tree.pos))
               else seq(stagedBindings, cpy.Select(expansion)(cpy.Inlined(tree)(call, splicedBindings, body), name))
             val tree2 = transform(tree1)