wip

Author: nicolasstucki

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

@@ -352,7 +352,7 @@ class ReifyQuotes extends MacroTransform {
           case tp @ TypeRef(NoPrefix, _) if capturers.contains(tp.symbol) =>
             // reference to term with a type defined in outer quote
             getTypeHoleType(tp)
-          case tp @ TermRef(NoPrefix, _) /*if capturers.contains(tp.symbol)*/ => // TODO needs the guard?
+          case tp @ TermRef(NoPrefix, _) if capturers.contains(tp.symbol) =>
             // widen term refs to terms defined in outer quote
             apply(tp.widenTermRefExpr)
           case tp =>