diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index a1db985f7..3c484bdaa 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -125,6 +125,13 @@ let check_not_null_parameter_list, check_not_null_list = ; ( 1 , (o, [n; o]) , "com.facebook.infer.annotation.Assertions.assumeNotNull(java.lang.Object,java.lang.String):java.lang.Object" + ) + ; ( 1 + , (o, [x]) + , "androidx.core.util.Preconditions.checkNotNull(java.lang.Object):java.lang.Object" ) + ; ( 1 + , (o, [x; n]) + , "androidx.core.util.Preconditions.checkNotNull(java.lang.Object,java.lang.Object):java.lang.Object" ) ] in (List.map ~f:(fun (x, _, z) -> (x, z)) list, List.map ~f:(fun (_, y, z) -> (y, z)) list)