I was wrong

Author: riaqn

ocaml/typing/typetexp.ml

@@ -585,15 +585,12 @@ and transl_type_aux env policy mode styp =
         | (l, arg_mode, arg) :: rest ->
           check_arg_type arg;
           let arg_cty = transl_type env policy arg_mode arg in
-          let acc_mode =
+          let (loc, lin, _) =
             Alloc.Const.join
               (Alloc.Const.close_over arg_mode)
               (Alloc.Const.partial_apply acc_mode)
           in
-          let acc_mode =
-            Alloc.Const.join acc_mode
-              (Alloc.Const.min_with_uniqueness Uniqueness.Const.Shared)
-          in
+          let acc_mode = (loc, lin, Uniqueness.Const.Shared) in
           let ret_mode =
             match rest with
             | [] -> ret_mode