[minor] remove suspicious `with _ ->`

Summary: These seem not useful.

Reviewed By: mbouaziz

Differential Revision: D8732676

fbshipit-source-id: ad13738

infer/src/biabduction/Prover.ml

@@ -2552,7 +2552,7 @@ let check_array_bounds tenv (sub1, sub2) prop =
         (* L.d_strln_color Orange "check_bound ";
            Sil.d_exp len1; L.d_str " "; Sil.d_exp len2; L.d_ln(); *)
         let indices_to_check =
-          match len2 with _ -> [Exp.BinOp (Binop.PlusA, len2, Exp.minus_one)]
+          [Exp.BinOp (Binop.PlusA, len2, Exp.minus_one)]
           (* only check len *)
         in
         List.iter ~f:(fail_if_le len1) indices_to_check

infer/src/java/jTrans.ml

@@ -73,10 +73,8 @@ let get_exit_location source_file bytecode =
 
 
 let retrieve_fieldname fieldname =
-  try
+  let subs = Str.split (Str.regexp (Str.quote ".")) (Typ.Fieldname.to_string fieldname) in
-    let subs = Str.split (Str.regexp (Str.quote ".")) (Typ.Fieldname.to_string fieldname) in
+  List.last_exn subs
-    List.last_exn subs
-  with _ -> assert false
 
 
 let get_field_name program static tenv cn fs =