Fix .check tests

Author: jchyb

tests/neg/i13780-1.check

@@ -1,7 +1,7 @@
 -- [E007] Type Mismatch Error: tests/neg/i13780-1.scala:38:24 ----------------------------------------------------------
 38 |    case x: (h *: t) => x.head // error
    |                        ^^^^^^
-   |                      Found:    Tuple.Head[VS & h *: t]
+   |                      Found:    Tuple.Head[h *: t & VS]
    |                      Required: h
    |                      Note that implicit conversions were not tried because the result of an implicit conversion
    |                      must be more specific than h
@@ -13,8 +13,8 @@
    |
    |                      Note: a match type could not be fully reduced:
    |
-   |                        trying to reduce  Tuple.Head[VS & h *: t]
-   |                        failed since selector VS & h *: t
+   |                        trying to reduce  Tuple.Head[h *: t & VS]
+   |                        failed since selector h *: t & VS
    |                        does not uniquely determine parameter x in
    |                          case x *: _ => x
    |                        The computed bounds for the parameter are:

tests/neg/i24096.check

@@ -1,7 +1,7 @@
 -- [E007] Type Mismatch Error: tests/neg/i24096.scala:8:31 -------------------------------------------------------------
 8 |        case r: Terminal[?] => r // error
   |                               ^
-  |                     Found:    (r : Pull[F, O, Unit] & Pull.Terminal[_])
+  |                     Found:    (r : Pull.Terminal[_] & Pull[F, O, Unit])
   |                     Required: Pull[F2, O2, Unit]
   |
   |                     where:    F  is a type in class StreamPullOps with bounds <: [_²] =>> Any