diff --git a/infer/src/IR/Subtype.ml b/infer/src/IR/Subtype.ml
index cec7e765d..c6914040e 100644
--- a/infer/src/IR/Subtype.ml
+++ b/infer/src/IR/Subtype.ml
@@ -72,13 +72,12 @@ end)
 
 let check_subtype =
   let subtMap = ref SubtypesMap.empty in
-  fun tenv c1 c2 ->
-    ( try SubtypesMap.find (c1, c2) !subtMap
-      with Caml.Not_found ->
-        let is_subt = check_subclass_tenv tenv c1 c2 in
-        subtMap := SubtypesMap.add (c1, c2) is_subt !subtMap;
-        is_subt
-      : result )
+  fun tenv c1 c2 : result ->
+    try SubtypesMap.find (c1, c2) !subtMap
+    with Caml.Not_found ->
+      let is_subt = check_subclass_tenv tenv c1 c2 in
+      subtMap := SubtypesMap.add (c1, c2) is_subt !subtMap;
+      is_subt
 
 let is_known_subtype tenv c1 c2 : bool =
   equal_result (check_subtype tenv c1 c2) Yes
diff --git a/infer/src/java/jTrans.ml b/infer/src/java/jTrans.ml
index e2ef94e13..21a8100c3 100644
--- a/infer/src/java/jTrans.ml
+++ b/infer/src/java/jTrans.ml
@@ -407,9 +407,8 @@ let create_cm_procdesc source_file program icfg cm proc_name =
     let formals = translate_formals program tenv cn jbir_code in
     let locals_ = translate_locals program tenv formals bytecode jbir_code in
     let locals =
-      List.map locals_ ~f:(fun (name, typ) ->
-          ( { name; typ; modify_in_block = false; is_constexpr = false }
-            : ProcAttributes.var_data ) )
+      List.map locals_ ~f:(fun (name, typ) : ProcAttributes.var_data ->
+          { name; typ; modify_in_block = false; is_constexpr = false } )
     in
     let method_annotation =
       JAnnotation.translate_method cm.Javalib.cm_annotations
diff --git a/sledge/bin/sledge_cli.ml b/sledge/bin/sledge_cli.ml
index 7d18cdbb9..83a61ca42 100644
--- a/sledge/bin/sledge_cli.ml
+++ b/sledge/bin/sledge_cli.ml
@@ -64,7 +64,7 @@ let marshal program file =
   Out_channel.with_file file ~f:(fun oc -> Marshal.to_channel oc program [])
 
 let unmarshal file () =
-  In_channel.with_file ~f:(fun ic -> (Marshal.from_channel ic : Llair.t)) file
+  In_channel.with_file ~f:(fun ic : Llair.t -> Marshal.from_channel ic) file