Update check-files and remove i18488.scala

EugeneFlesselle · EugeneFlesselle · commit 5becaace6495 · 2024-03-26T13:21:28.000+01:00
i18488.scala was only passing because of the bug in the MatchReducer,
as we can see in the subtyping trace:
```
==&gt; isSubType TableQuery[BaseCrudRepository.this.EntityTable] &lt;:&lt; Query[BaseCrudRepository.this.EntityTable, E[Option]]?
  ==&gt; isSubType Query[BaseCrudRepository.this.EntityTable, Extract[BaseCrudRepository.this.EntityTable]] &lt;:&lt;
                Query[BaseCrudRepository.this.EntityTable, E[Option]] (left is approximated)?
    ==&gt; isSubType E[Option] &lt;:&lt; Extract[BaseCrudRepository.this.EntityTable]?
      ==&gt; isSubType [T[_$1]] =&gt;&gt; Any &lt;:&lt; Extract?
        ==&gt; isSubType Any &lt;:&lt; Extract[T]?
          ==&gt; isSubType Any &lt;:&lt; T match { case AbstractTable[t] =&gt; t } &lt;: t (right is approximated)?
            ==&gt; isSubType Any &lt;:&lt; &lt;error Match type reduction failed since selector T
                                   matches none of the cases
                                   case AbstractTable[t] =&gt; t&gt; (right is approximated)?
            &lt;== isSubType Any &lt;:&lt; &lt;error Match type reduction failed since selector T
                                   matches none of the cases
                                   case AbstractTable[t] =&gt; t&gt; (right is approximated) = true
          &lt;== isSubType Any &lt;:&lt; T match { case AbstractTable[t] =&gt; t } &lt;: t (right is approximated) = true
        &lt;== isSubType Any &lt;:&lt; Extract[T] = true
      &lt;== isSubType [T[_$1]] =&gt;&gt; Any &lt;:&lt; Extract = true
      ...
    &lt;== isSubType Extract[BaseCrudRepository.this.EntityTable] &lt;:&lt; E[Option] = true
  &lt;== isSubType Query[BaseCrudRepository.this.EntityTable, Extract[BaseCrudRepository.this.EntityTable]] &lt;:&lt;
                Query[BaseCrudRepository.this.EntityTable, E[Option]] (left is approximated) = true
&lt;== isSubType TableQuery[BaseCrudRepository.this.EntityTable] &lt;:&lt; Query[BaseCrudRepository.this.EntityTable, E[Option]] = true
```
diff --git 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
@@ -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
