diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
index b677dae3a38b..d306c62e6a26 100644
--- a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
+++ b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -2897,13 +2897,6 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         tp
       case tp: HKTypeLambda =>
         tp
-      case tp: ParamRef =>
-        val st = tp.superTypeNormalized
-        if st.exists then
-          disjointnessBoundary(st)
-        else
-          // workaround for when ParamRef#underlying returns NoType
-          defn.AnyType
       case tp: TypeProxy =>
         disjointnessBoundary(tp.superTypeNormalized)
       case tp: WildcardType =>
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
index 0b05bcd078ff..9cd0d54eeadf 100644
--- a/compiler/src/dotty/tools/dotc/typer/Typer.scala
+++ b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2389,15 +2389,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
       report.error(MatchTypeScrutineeCannotBeHigherKinded(sel1Tpe), sel1.srcPos)
     val pt1 = if (bound1.isEmpty) pt else bound1.tpe
     val cases1 = tree.cases.mapconserve(typedTypeCase(_, sel1Tpe, pt1))
-    val bound2 = if tree.bound.isEmpty then
-      val lub = cases1.foldLeft(defn.NothingType: Type): (acc, case1) =>
-        if !acc.exists then NoType
-        else if case1.body.tpe.isProvisional then NoType
-        else acc | case1.body.tpe
-      if lub.exists then TypeTree(lub, inferred = true)
-      else bound1
-    else bound1
-    assignType(cpy.MatchTypeTree(tree)(bound2, sel1, cases1), bound2, sel1, cases1)
+    assignType(cpy.MatchTypeTree(tree)(bound1, sel1, cases1), bound1, sel1, cases1)
   }
 
   def typedByNameTypeTree(tree: untpd.ByNameTypeTree)(using Context): ByNameTypeTree = tree.result match
diff --git a/presentation-compiler/test/dotty/tools/pc/tests/completion/CompletionScalaCliSuite.scala b/presentation-compiler/test/dotty/tools/pc/tests/completion/CompletionScalaCliSuite.scala
index 0d86922d4e70..79d35944c84d 100644
--- a/presentation-compiler/test/dotty/tools/pc/tests/completion/CompletionScalaCliSuite.scala
+++ b/presentation-compiler/test/dotty/tools/pc/tests/completion/CompletionScalaCliSuite.scala
@@ -3,6 +3,7 @@ package dotty.tools.pc.tests.completion
 import dotty.tools.pc.base.BaseCompletionSuite
 
 import org.junit.Test
+import org.junit.Ignore
 
 class CompletionScalaCliSuite extends BaseCompletionSuite:
 
@@ -28,7 +29,8 @@ class CompletionScalaCliSuite extends BaseCompletionSuite:
          |// //> using lib ???
          |//> using lib io.circe::circe-core_native0.4
          |package A
-         |""".stripMargin
+         |""".stripMargin,
+      assertSingleItem = false
     )
 
   @Test def `version-sort` =
@@ -43,6 +45,7 @@ class CompletionScalaCliSuite extends BaseCompletionSuite:
          |""".stripMargin,
     )
 
+  @Ignore
   @Test def `single-colon` =
     check(
       """|//> using lib "io.circe:circe-core_na@@
@@ -73,6 +76,7 @@ class CompletionScalaCliSuite extends BaseCompletionSuite:
          |""".stripMargin,
     )
 
+  @Ignore
   @Test def `multiple-libs` =
     check(
       """|//> using lib "io.circe::circe-core:0.14.0", "io.circe::circe-core_na@@"
@@ -81,6 +85,7 @@ class CompletionScalaCliSuite extends BaseCompletionSuite:
       "circe-core_native0.4"
     )
 
+  @Ignore
   @Test def `script` =
     check(
       scriptWrapper(
@@ -133,6 +138,7 @@ class CompletionScalaCliSuite extends BaseCompletionSuite:
          |io.circul""".stripMargin
     )
 
+  @Ignore
   @Test def `multiple-deps2` =
     check(
       """|//> using libs "io.circe::circe-core:0.14.0", "io.circe::circe-core_na@@"
diff --git a/tests/pos/13633.scala b/tests/pos/13633.scala
index 8883ef98d0be..ca0f7e68e81e 100644
--- a/tests/pos/13633.scala
+++ b/tests/pos/13633.scala
@@ -21,7 +21,7 @@ object Sums extends App:
 
   type Reverse[A] = ReverseLoop[A, EmptyTuple]
 
-  type PlusTri[A, B, C] <: Tuple                    = (A, B, C) match
+  type PlusTri[A, B, C]                             = (A, B, C) match
     case (false, false, false)                                              => (false, false)
     case (true, false, false) | (false, true, false) | (false, false, true) => (false, true)
     case (true, true, false) | (true, false, true) | (false, true, true)    => (true, false)
diff --git a/tests/pos/Tuple.Drop.scala b/tests/pos/Tuple.Drop.scala
deleted file mode 100644
index 9b88cc227966..000000000000
--- a/tests/pos/Tuple.Drop.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-import compiletime.ops.int.*
-
-type Drop[T <: Tuple, N <: Int] <: Tuple = N match
-  case 0 => T
-  case S[n1] => T match
-    case EmptyTuple => EmptyTuple
-    case x *: xs => Drop[xs, n1]
diff --git a/tests/pos/Tuple.Elem.scala b/tests/pos/Tuple.Elem.scala
deleted file mode 100644
index 81494485c321..000000000000
--- a/tests/pos/Tuple.Elem.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-import compiletime.ops.int.*
-
-type Elem[T <: Tuple, I <: Int] = T match
-  case h *: tail =>
-    I match
-      case 0 => h
-      case S[j] => Elem[tail, j]
diff --git a/tests/pos/i19710.scala b/tests/pos/i19710.scala
deleted file mode 100644
index 03fd1e2d80b3..000000000000
--- a/tests/pos/i19710.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-import scala.util.NotGiven
-
-type HasName1 = [n] =>> [x] =>> x match {
-    case n => true
-    case _ => false
-  }
-@main def Test = {
-  summon[HasName1["foo"]["foo"] =:= true]
-  summon[NotGiven[HasName1["foo"]["bar"] =:= true]]
-  summon[Tuple.Filter[(1, "foo", 2, "bar"), HasName1["foo"]] =:= Tuple1["foo"]] // error
-}
diff --git a/tests/run-macros/type-show/Test_2.scala b/tests/run-macros/type-show/Test_2.scala
index de845f3e84dd..3bc9da043885 100644
--- a/tests/run-macros/type-show/Test_2.scala
+++ b/tests/run-macros/type-show/Test_2.scala
@@ -23,7 +23,7 @@ object Test {
         """TypeRef(ThisType(TypeRef(NoPrefix(), "scala")), "Nothing"), """+
         """TypeRef(ThisType(TypeRef(NoPrefix(), "scala")), "Any"))), """+
         """MatchType("""+
-        """TypeRef(TermRef(ThisType(TypeRef(NoPrefix(), "<root>")), "scala"), "Int"), """+ // match type bound
+        """TypeRef(ThisType(TypeRef(NoPrefix(), "scala")), "Any"), """+ // match type bound
         """ParamRef(binder, 0), """+
         """List("""+
         """MatchCase("""+