diff --git a/compiler/src/dotty/tools/dotc/transform/Erasure.scala b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
index 825419b7daac..76f03286a4fb 100644
--- a/compiler/src/dotty/tools/dotc/transform/Erasure.scala
+++ b/compiler/src/dotty/tools/dotc/transform/Erasure.scala
@@ -614,10 +614,7 @@ object Erasure {
           if (sym.isConstructor) defn.UnitType
           else sym.info.resultType
         var vparamss1 = (outer.paramDefs(sym) ::: ddef.vparamss.flatten) :: Nil
-        var rhs1 = ddef.rhs match {
-          case id @ Ident(nme.WILDCARD) => untpd.TypedSplice(id.withType(restpe))
-          case _ => ddef.rhs
-        }
+        var rhs1 = ddef.rhs
         if (sym.isAnonymousFunction && vparamss1.head.length > MaxImplementedFunctionArity) {
           val bunchedParam = ctx.newSymbol(sym, nme.ALLARGS, Flags.TermParam, JavaArrayType(defn.ObjectType))
           def selector(n: Int) = ref(bunchedParam)
diff --git a/tests/pos/i6142.scala b/tests/pos/i6142.scala
new file mode 100644
index 000000000000..9b0485bc5f19
--- /dev/null
+++ b/tests/pos/i6142.scala
@@ -0,0 +1,10 @@
+import scala.quoted._
+
+object O {
+  def foo given QuoteContext = {
+    type T
+    implicit val _: scala.quoted.Type[T] = ???
+    '[List[T]]
+    ()
+  }
+}