Remove useless case

This branch should have been removed whe the logic in the staging Staging phase was split

Author: nicolasstucki

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

@@ -351,16 +351,6 @@ class ReifyQuotes extends MacroTransform {
             // typer to allow pickling/unpickling phase consistent types
             transformSplice(spliceTree)
 
-          case tree: TypeTree if tree.tpe.typeSymbol.isSplice =>
-            tree.tpe.stripTypeVar match {
-              case tp: AppliedType =>
-                val splicedType = tp.tycon.asInstanceOf[TypeRef].prefix.termSymbol
-                AppliedTypeTree(transformSplice(ref(splicedType).select(tpnme.splice)), tp.args.map(TypeTree(_))).withSpan(tree.span)
-              case tp: TypeRef =>
-                val splicedType = tp.prefix.termSymbol
-                transformSplice(ref(splicedType).select(tpnme.splice).withSpan(tree.span))
-            }
-
           case tree: RefTree if isCaptured(tree.symbol, level) =>
             val t = capturers(tree.symbol).apply(tree)
             transformSplice(t.select(if (tree.isTerm) nme.splice else tpnme.splice))

tests/run-with-compiler/i5965.check

@@ -1,15 +1,15 @@
 {
   val y: collection.immutable.List[scala.Int] = scala.List.apply[scala.Int](1, 2, 3)
-  (y: collection.immutable.List[evidence$1$_~$1])
+  (y: collection.immutable.List[scala.Int])
 }
 List(1, 2, 3)
 {
   val y: scala.Option[scala.Int] = scala.Option.apply[scala.Int](4)
-  (y: scala.Option[evidence$1$_~$1])
+  (y: scala.Option[scala.Int])
 }
 Some(4)
 {
   val y: collection.immutable.Map[scala.Int, scala.Int] = scala.Predef.Map.apply[scala.Int, scala.Int](scala.Predef.ArrowAssoc[scala.Int](4).->[scala.Int](1))
-  (y: collection.immutable.Map[scala.Int, evidence$1$_~$1])
+  (y: collection.immutable.Map[scala.Int, scala.Int])
 }
 Map(4 -> 1)

tests/run-with-compiler/i5965b.check

@@ -0,0 +1,15 @@
+{
+  val y: collection.immutable.List[scala.Int] = scala.List.apply[scala.Int](1, 2, 3)
+  (y: collection.immutable.List[scala.Int])
+}
+List(1, 2, 3)
+{
+  val y: scala.Option[scala.Int] = scala.Option.apply[scala.Int](4)
+  (y: scala.Option[scala.Int])
+}
+Some(4)
+{
+  val y: collection.immutable.Map[scala.Int, scala.Int] = scala.Predef.Map.apply[scala.Int, scala.Int](scala.Predef.ArrowAssoc[scala.Int](4).->[scala.Int](1))
+  (y: collection.immutable.Map[scala.Int, scala.Int])
+}
+Map(4 -> 1)

tests/run-with-compiler/i5965b.scala

@@ -0,0 +1,28 @@
+import scala.quoted._
+
+import scala.tasty._
+
+object Test {
+
+  implicit val toolbox: scala.quoted.Toolbox = scala.quoted.Toolbox.make
+
+  def main(args: Array[String]): Unit = {
+    '[List]
+    val list = bound('{List(1, 2, 3)})
+    println(list.show)
+    println(list.run)
+
+    val opt = bound('{Option(4)})
+    println(opt.show)
+    println(opt.run)
+
+    val map = bound('{Map(4 -> 1)})
+    println(map.show)
+    println(map.run)
+  }
+
+  def bound[T: Type, S[_]: Type](x: Expr[S[T]]): Expr[S[T]] = '{
+    val y = $x
+    y
+  }
+}