Remove references spliced types

Author: nicolasstucki

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

@@ -331,7 +331,17 @@ class ReifyQuotes extends MacroTransform {
      */
     private def makeHole(isTermHole: Boolean, body: Tree, splices: List[Tree], tpe: Type)(implicit ctx: Context): Hole = {
       val idx = embedded.addTree(body, NoSymbol)
-      Hole(isTermHole, idx, splices).withType(tpe).asInstanceOf[Hole]
+      val holeType = getHoleType(tpe)
+      Hole(isTermHole, idx, splices).withType(holeType).asInstanceOf[Hole]
+    }
+
+    private def getHoleType(using ctx: Context) = new TypeMap() {
+      override def apply(tp: Type): Type = tp match {
+        case tp: TypeRef if tp.typeSymbol.isSplice || tp.typeSymbol.hasAnnotation(defn.InternalQuoted_QuoteTypeTagAnnot) =>
+          mapOver(tp.dealias.typeSymbol.info.hiBound)
+        case tp =>
+          mapOver(tp)
+      }
     }
 
     override def transform(tree: Tree)(implicit ctx: Context): Tree =