diff --git a/tests/neg/i12049.check b/tests/neg/i12049.check
index 11c648e35a57..4977b8d8c591 100644
--- a/tests/neg/i12049.check
+++ b/tests/neg/i12049.check
@@ -18,7 +18,7 @@
 -- Error: tests/neg/i12049.scala:14:23 ---------------------------------------------------------------------------------
 14 |val y3: String = ??? : Last[Int *: Int *: Boolean *: String *: EmptyTuple]  // error
    |                       ^
-   |                       Match type reduction failed since selector EmptyTuple.type
+   |                       Match type reduction failed since selector EmptyTuple
    |                       matches none of the cases
    |
    |                           case _ *: _ *: t => Last[t]
@@ -48,7 +48,7 @@
 -- Error: tests/neg/i12049.scala:25:26 ---------------------------------------------------------------------------------
 25 |val _ = summon[String =:= Last[Int *: Int *: Boolean *: String *: EmptyTuple]] // error
    |                          ^
-   |                          Match type reduction failed since selector EmptyTuple.type
+   |                          Match type reduction failed since selector EmptyTuple
    |                          matches none of the cases
    |
    |                              case _ *: _ *: t => Last[t]
diff --git a/tests/neg/i13757-match-type-anykind.scala b/tests/neg/i13757-match-type-anykind.scala
index d8273e546dab..3feb9907fb69 100644
--- a/tests/neg/i13757-match-type-anykind.scala
+++ b/tests/neg/i13757-match-type-anykind.scala
@@ -1,11 +1,11 @@
 object Test:
-  type AnyKindMatchType1[X <: AnyKind] = X match // error: the scrutinee of a match type cannot be higher-kinded // error
+  type AnyKindMatchType1[X <: AnyKind] = X match // error: the scrutinee of a match type cannot be higher-kinded
     case Option[a] => Int
 
   type AnyKindMatchType2[X <: AnyKind] = X match // error: the scrutinee of a match type cannot be higher-kinded
     case Option => Int // error: Missing type parameter for Option
 
-  type AnyKindMatchType3[X <: AnyKind] = X match // error: the scrutinee of a match type cannot be higher-kinded // error
+  type AnyKindMatchType3[X <: AnyKind] = X match // error: the scrutinee of a match type cannot be higher-kinded
     case _ => Int
 
   type AnyKindMatchType4[X <: Option] = X match // error // error: the scrutinee of a match type cannot be higher-kinded // error
diff --git a/tests/pos/i18488.scala b/tests/pos/i18488.scala
deleted file mode 100644
index c225a2c20711..000000000000
--- a/tests/pos/i18488.scala
+++ /dev/null
@@ -1,15 +0,0 @@
-trait AbstractTable[T]
-
-trait Query[E, U]
-
-class TableQuery[E <: AbstractTable[?]] extends Query[E, Extract[E]]
-
-type Extract[E] = E match
-  case AbstractTable[t] => t
-
-trait BaseCrudRepository[E[T[_]]]:
-
-  type EntityTable <: AbstractTable[E[Option]]
-
-  def filterById: Query[EntityTable, Extract[EntityTable]] =
-    new TableQuery[EntityTable]