WIP

Author: nicolasstucki

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

@@ -438,6 +438,13 @@ class ReifyQuotes extends MacroTransformWithImplicits {
       val captured = mutable.LinkedHashMap.empty[Symbol, Tree]
       val captured2 = capturer(captured)
       outer.enteredSyms.foreach(s => capturers.put(s, captured2))
+      if (ctx.owner.owner.is(Macro)) {
+        outer.enteredSyms.foreach(s => {
+          assert(s.is(Param))
+          assert(s.owner == ctx.owner.owner)
+          captured2(ref(s).asInstanceOf[RefTree])
+        })
+      }
       val tree2 = transform(tree)
       capturers --= outer.enteredSyms
       seq(captured.result().valuesIterator.toList, tree2)