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

tests/semanticdb/metac.expect

@@ -4991,8 +4991,8 @@ _empty_/Txn# => trait Txn [typeparam T  <: Txn[T]] extends Object { self: Txn[T]
 _empty_/Txn#[T] => typeparam T  <: Txn[T]
 _empty_/Txn#`<init>`(). => primary ctor <init> [typeparam T  <: Txn[T]](): Txn[T]
 local0 => val local out: Repr[Out]
-local1 => val local inObj: Repr[In] & Obj[In]
-local2 => val local outObj: Repr[Out] & Obj[Out]
+local1 => val local inObj: Obj[In] & Repr[In]
+local2 => val local outObj: Obj[Out] & Repr[Out]
 
 Occurrences:
 [1:6..1:9): Txn <- _empty_/Txn#