Fix test output

Author: goldfirere

ocaml/testsuite/tests/typing-layouts/annots.ml

@@ -393,9 +393,9 @@ val f : ('a : float64). 'a -> 'a = <fun>
 let f : type (a : any). a -> a = fun x -> x
 ;;
 [%%expect {|
-Line 1, characters 4-43:
+Line 1, characters 24-30:
 1 | let f : type (a : any). a -> a = fun x -> x
-        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
+                            ^^^^^^
 Error: The universal type variable 'a was declared to have
        layout any, but was inferred to have a representable layout.
 |}]

ocaml/testsuite/tests/typing-layouts/basics.ml

@@ -703,8 +703,8 @@ end
 Line 4, characters 8-9:
 4 |     let d = f u in
             ^
-Error: Variables bound in a class must have layout value.
-       d has layout float64, which is not a sublayout of value.
+Error: The types of variables bound by a 'let' in a class function
+       must have layout value. Instead, d's type has layout float64.
 |}];;
 
 (* Hits the Cfk_concrete case of Pcf_val *)
@@ -1415,6 +1415,7 @@ Line 1, characters 9-31:
 1 | let () = (assert false : t_any); ()
              ^^^^^^^^^^^^^^^^^^^^^^
 Warning 10 [non-unit-statement]: this expression should have type unit.
+
 Line 1, characters 10-22:
 1 | let () = (assert false : t_any); ()
               ^^^^^^^^^^^^
@@ -1430,6 +1431,7 @@ Line 1, characters 24-46:
 1 | let () = while false do (assert false : t_any); done
                             ^^^^^^^^^^^^^^^^^^^^^^
 Warning 10 [non-unit-statement]: this expression should have type unit.
+
 Line 1, characters 25-37:
 1 | let () = while false do (assert false : t_any); done
                              ^^^^^^^^^^^^
@@ -1445,6 +1447,7 @@ Line 1, characters 27-49:
 1 | let () = for i = 0 to 0 do (assert false : t_any); done
                                ^^^^^^^^^^^^^^^^^^^^^^
 Warning 10 [non-unit-statement]: this expression should have type unit.
+
 Line 1, characters 28-40:
 1 | let () = for i = 0 to 0 do (assert false : t_any); done
                                 ^^^^^^^^^^^^

ocaml/testsuite/tests/typing-layouts/datatypes.ml

@@ -290,9 +290,11 @@ Error: This expression has type float but an expression was expected of type
 
 (* CR layouts: copy test from datatypes_alpha with float64 when available *)
 
+type t_float64 : float64
 type ('a : float64) float64_t
 
 [%%expect {|
+type t_float64 : float64
 type ('a : float64) float64_t
 |}]