Do not change stage of bindings

This was performed to allow some inlined `this` bindings
to be evaluated. It was not always possible and hence inconsistent.
Now that macros are static methods this is not even possible.

Author: nicolasstucki

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

@@ -521,20 +521,16 @@ class ReifyQuotes extends MacroTransformWithImplicits with InfoTransformer {
             stats.foreach(markDef)
             mapOverTree(last)
           case Inlined(call, bindings, InlineSplice(expansion @ Select(body, name))) =>
-            // To maintain phase consistency, we move the binding of the this parameter into the spliced code
-            val (splicedBindings, stagedBindings) = bindings.partition {
-              case vdef: ValDef => vdef.symbol.is(Synthetic) // Assume that only _this bindings are tagged with Synthetic
-              case _ => false
-            }
+            assert(call.symbol.is(Macro))
+            val spliced =
+              if (level == 0) Splicer.splice(body, call, bindings, tree.pos).withPos(tree.pos)
+              else expansion
             // 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)(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)
+            val tree2 = cpy.Inlined(tree)(call2, bindings, transform(spliced))
 
             // due to value-discarding which converts an { e } into { e; () })
             if (tree.tpe =:= defn.UnitType) Block(tree2 :: Nil, Literal(Constant(())))