WIP

Author: nicolasstucki

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

@@ -126,9 +126,6 @@ class ReifyQuotes extends MacroTransformWithImplicits {
       new Reifier(isQuote, this, if (isQuote) level + 1 else level - 1, levels, nestedEmbedded, ctx)
     }
 
-    /** We are in a `~(...)` context that is not shadowed by a nested `'(...)` */
-    def inSplice: Boolean = outer != null && !inQuote
-
     /** We are not in a `~(...)` or a `'(...)` */
     def isRoot: Boolean = outer == null
 
@@ -297,7 +294,7 @@ class ReifyQuotes extends MacroTransformWithImplicits {
       def apply(acc: Unit, tp: Type): Unit = reporting.trace(i"check type level $tp at $level") {
         tp match {
           case tp: TypeRef if tp.symbol.isSplice =>
-            if (inQuote) {
+            if (level > 0) {
               explicitTags += tp
               outer.checkType(pos).foldOver(acc, tp)
             }