rebase over type var print order change

Author: alanechang

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

@@ -1291,7 +1291,7 @@ let q () =
   ()
 
 [%%expect{|
-val ( let* ) : ('b : any) 'a. 'a -> (t_float64 -> 'b) -> unit = <fun>
+val ( let* ) : 'a ('b : any). 'a -> (t_float64 -> 'b) -> unit = <fun>
 val q : unit -> unit = <fun>
 |}]
 
@@ -1303,7 +1303,7 @@ let q () =
   assert false
 
 [%%expect{|
-val ( let* ) : ('b : any) 'a. 'a -> ('b -> t_float64) -> unit = <fun>
+val ( let* ) : 'a ('b : any). 'a -> ('b -> t_float64) -> unit = <fun>
 val q : unit -> unit = <fun>
 |}]
 

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

@@ -1321,7 +1321,7 @@ let q () =
   ()
 
 [%%expect{|
-val ( let* ) : ('b : any) 'a. 'a -> (t_float64 -> 'b) -> unit = <fun>
+val ( let* ) : 'a ('b : any). 'a -> (t_float64 -> 'b) -> unit = <fun>
 val q : unit -> unit = <fun>
 |}]
 
@@ -1347,7 +1347,7 @@ let q () =
   assert false
 
 [%%expect{|
-val ( let* ) : ('b : any) 'a. 'a -> ('b -> t_float64) -> unit = <fun>
+val ( let* ) : 'a ('b : any). 'a -> ('b -> t_float64) -> unit = <fun>
 val q : unit -> unit = <fun>
 |}]