From 8ad471d5b3965962f2e2903c50cf74dd3c0c01ec Mon Sep 17 00:00:00 2001
From: Artem Pianykh <arr@fb.com>
Date: Tue, 13 Apr 2021 01:34:09 -0700
Subject: [PATCH] [nullsafe] Add a model for
 `android.provider.ContactsContract$Contacts.CONTENT_URI`

Summary:
:
The above mentioned field is non-nullable

Differential Revision: D27710463

fbshipit-source-id: b689d5775
---
 infer/src/nullsafe/modelTables.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/infer/src/nullsafe/modelTables.ml b/infer/src/nullsafe/modelTables.ml
index f414c1b5b..0c0028e7f 100644
--- a/infer/src/nullsafe/modelTables.ml
+++ b/infer/src/nullsafe/modelTables.ml
@@ -767,6 +767,7 @@ let field_nullability =
   ; ("android.graphics.Typeface.SERIF", o)
   ; ("android.hardware.SensorEvent.values", o)
   ; ("android.net.Uri.EMPTY", o)
+  ; ("android.provider.ContactsContract$Contacts.CONTENT_URI", o)
   ; ("android.provider.MediaStore$Images$Media.EXTERNAL_CONTENT_URI", o)
   ; ("android.provider.MediaStore$Images$Media.INTERNAL_CONTENT_URI", o)
   ; ("android.provider.Settings$Global.CONTENT_URI", o)