From e1f0a2176e8c6518cc052ec1093132aaa4bf3e2a Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Tue, 17 Dec 2019 01:43:41 -0800 Subject: [PATCH] [nullsafe][EASY] correct the signature for Preconditions.checkNotNull() Summary: The one with Object as the second param is in `com.facebook.common.internal`. The one with String as the second param is in `com.facebook.common.preconditions`. (Don't ask :) ) Reviewed By: artempyanykh Differential Revision: D19087334 fbshipit-source-id: ba02c9101 --- infer/src/nullsafe/modelTables.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index d31649221..bf86d600f 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -94,7 +94,7 @@ let check_not_null_parameter_list, check_not_null_list = ) ; ( 1 , (o, [x; n]) - , "com.facebook.common.preconditions.Preconditions.checkNotNull(java.lang.Object,java.lang.Object):java.lang.Object" + , "com.facebook.common.preconditions.Preconditions.checkNotNull(java.lang.Object,java.lang.String):java.lang.Object" ) ; ( 1 , (o, [x; n; n])