WIP

Author: nicolasstucki

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

@@ -120,12 +120,6 @@ class Staging extends MacroTransformWithImplicits {
       new Reifier(isQuote, this, if (isQuote) level + 1 else level - 1, levels, ctx)
     }
 
-    /** A map from type ref T to expressions of type `quoted.Type[T]`".
-     *  These will be turned into splices using `addTags` and represent type variables
-     *  that can be possibly healed.
-     */
-    val importedTags = new mutable.LinkedHashMap[TypeRef, Tree]()
-
     /** A stack of entered symbols, to be unwound after scope exit */
     var enteredSyms: List[Symbol] = Nil
 
@@ -192,8 +186,7 @@ class Staging extends MacroTransformWithImplicits {
                         | The access would be accepted with the right type tag, but
                         | ${ctx.typer.missingArgMsg(tag, reqType, "")}""")
               case _ =>
-                importedTags(tp) = nested(isQuote = false).transform(tag) // TODO remove me
-                Some(nested(isQuote = false).transform(tag).select(tpnme.UNARY_~)) // TODO remove the transform?
+                Some(tag.select(tpnme.UNARY_~))
             }
           }
         case _ =>