Remove redundant case

Author: nicolasstucki

compiler/src/dotty/tools/dotc/staging/CrossStageSafety.scala

@@ -102,8 +102,6 @@ class CrossStageSafety extends TreeMapWithStages {
       case tree: TypeDef if tree.symbol.is(Case) && level > 0 =>
         report.error(reporting.CaseClassInInlinedCode(tree), tree)
         super.transform(tree)
-      case tree @ SplicedType(splicedTree) =>
-        transformSpliceType(splicedTree, tree)
       case _ =>
         super.transform(tree)
   end transform
@@ -163,15 +161,6 @@ class CrossStageSafety extends TreeMapWithStages {
     untpd.cpy.Splice(splice)(body1).withType(tpe1)
   }
 
-  private def transformSpliceType(body: Tree, splice: Select)(using Context): Tree = {
-    val body1 = transform(body)(using spliceContext)
-    if ctx.reporter.hasErrors then
-      splice
-    else
-      val tagRef = getQuoteTypeTags.getTagRef(splice.qualifier.tpe.asInstanceOf[TermRef])
-      ref(tagRef).withSpan(splice.span)
-  }
-
   def transformTypeAnnotationSplices(tp: Type)(using Context) = new TypeMap {
     def apply(tp: Type): Type = tp match
       case tp: AnnotatedType =>

compiler/src/dotty/tools/dotc/staging/HealType.scala

@@ -63,7 +63,7 @@ class HealType(pos: SrcPos)(using Context) extends TypeMap {
 
   private def checkNotWildcardSplice(splice: TypeRef): Unit =
     splice.prefix.termSymbol.info.argInfos match
-      case (tb: TypeBounds) :: _ => report.error(em"Cannot splice $splice because it is a wildcard type", pos)
+      case (tb: TypeBounds) :: _ => report.error(em"Cannot stage $splice because it is an alias to a wildcard type", pos)
       case _ =>
 
   /** Return the root of this path if it is a variable defined in a previous level.