From e10e458bee7f8d9b40a3d9b93b49a7faf3168b69 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Tue, 31 Mar 2020 07:23:29 -0700 Subject: [PATCH] [nullsafe] Remove a wrong model for com.google.common.collect.Iterables.getFirst() Summary: 1. The return value is annotated as Nullable in codebase 2. The second parameter can be null as well. Reviewed By: artempyanykh Differential Revision: D20766243 fbshipit-source-id: 9aad37a8c --- infer/src/nullsafe/modelTables.ml | 3 --- 1 file changed, 3 deletions(-) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index 780fca878..68545b411 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -426,9 +426,6 @@ let annotated_list_nullability_other = ; ( o1 , "com.google.common.collect.ImmutableMap.copyOf(java.lang.Iterable):com.google.common.collect.ImmutableMap" ) - ; ( on - , "com.google.common.collect.Iterables.getFirst(java.lang.Iterable,java.lang.Object):java.lang.Object" - ) ; ( o1 , "com.google.common.util.concurrent.SettableFuture.setException(java.lang.Throwable):boolean" )