stedolan
diff --git a/‎boot/ocamlc‎
298 Bytes b/‎boot/ocamlc‎
298 Bytes
diff --git a/‎boot/ocamllex‎
0 Bytes b/‎boot/ocamllex‎
0 Bytes
diff --git a/‎typing/btype.ml‎
Lines changed: 7 additions & 0 deletions b/‎typing/btype.ml‎
Lines changed: 7 additions & 0 deletions
diff --git a/‎typing/btype.mli‎
Lines changed: 2 additions & 0 deletions b/‎typing/btype.mli‎
Lines changed: 2 additions & 0 deletions
diff --git a/‎typing/typecore.ml‎
Lines changed: 2 additions & 4 deletions b/‎typing/typecore.ml‎
Lines changed: 2 additions & 4 deletions
@@ -1074,6 +1074,13 @@ module Alloc_mode = struct
 
   let newvar () = Amodevar (fresh ())
 
+  let newvar_below = function
+    | Amode Global -> Amode Global
+    | m ->
+       let v = newvar () in
+       submode_exn v m;
+       v
+
   let check_const = function
     | Amode m -> Some m
     | Amodevar v ->
 
@@ -290,6 +290,8 @@ module Alloc_mode : sig
 
   val newvar : unit -> t
 
+  val newvar_below : t -> t
+
   val check_const : t -> const option
 
   val print : Format.formatter -> t -> unit
 
@@ -5283,17 +5283,15 @@ and type_argument ?explanation ?recarg env (mode : expected_mode) sarg
 and type_apply_arg env ~funct ~index ~position ~partial_app (lbl, arg) =
   match arg with
   | Arg (Unknown_arg { sarg; ty_arg; mode_arg }) ->
-      let mode = Alloc_mode.newvar () in
-      Alloc_mode.submode_exn mode mode_arg;
+      let mode = Alloc_mode.newvar_below mode_arg in
       let expected_mode =
         mode_argument ~funct ~index ~position ~partial_app mode in
       let arg = type_expect env expected_mode sarg (mk_expected ty_arg) in
       if is_optional lbl then
         unify_exp env arg (type_option(newvar()));
       (lbl, Arg arg)
   | Arg (Known_arg { sarg; ty_arg; ty_arg0; mode_arg; wrapped_in_some }) ->
-      let mode = Alloc_mode.newvar () in
-      Alloc_mode.submode_exn mode mode_arg;
+      let mode = Alloc_mode.newvar_below mode_arg in
       let expected_mode =
         mode_argument ~funct ~index ~position ~partial_app mode in
       let arg =