From d0f39f3ce7d2f977c85d69de3ea108c332fb38a8 Mon Sep 17 00:00:00 2001 From: Mitya Lyubarskiy Date: Mon, 12 Oct 2020 07:56:34 -0700 Subject: [PATCH] [nullsafe] boolean arguments in Preconditions methods are non-nullable Reviewed By: artempyanykh Differential Revision: D24249728 fbshipit-source-id: 980d27a57 --- infer/src/nullsafe/modelTables.ml | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml index 9553e660d..443079a53 100644 --- a/infer/src/nullsafe/modelTables.ml +++ b/infer/src/nullsafe/modelTables.ml @@ -183,23 +183,23 @@ let check_state_list = let check_argument_list = - [ ((o, [n]), "com.facebook.common.internal.Preconditions.checkArgument(boolean):void") - ; ( (o, [n; n]) + [ ((o, [o]), "com.facebook.common.internal.Preconditions.checkArgument(boolean):void") + ; ( (o, [o; n]) , "com.facebook.common.internal.Preconditions.checkArgument(boolean,java.lang.Object):void" ) - ; ( (o, [n; n; n]) + ; ( (o, [o; n; n]) , "com.facebook.common.internal.Preconditions.checkArgument(boolean,java.lang.String,java.lang.Object[]):void" ) - ; ((o, [n]), "com.facebook.common.preconditions.Preconditions.checkArgument(boolean):void") - ; ( (o, [n; n]) + ; ((o, [o]), "com.facebook.common.preconditions.Preconditions.checkArgument(boolean):void") + ; ( (o, [o; n]) , "com.facebook.common.preconditions.Preconditions.checkArgument(boolean,java.lang.Object):void" ) - ; ( (o, [n; n; n]) + ; ( (o, [o; n; n]) , "com.facebook.common.preconditions.Preconditions.checkArgument(boolean,java.lang.String,java.lang.Object[]):void" ) - ; ((o, [n]), "com.google.common.base.Preconditions.checkArgument(boolean):void") - ; ( (o, [n; n]) + ; ((o, [o]), "com.google.common.base.Preconditions.checkArgument(boolean):void") + ; ( (o, [o; n]) , "com.google.common.base.Preconditions.checkArgument(boolean,java.lang.Object):void" ) - ; ( (o, [n; n; n]) + ; ( (o, [o; n; n]) , "com.google.common.base.Preconditions.checkArgument(boolean,java.lang.String,java.lang.Object[]):void" ) ]