add a dereference test

uber · Dec 13, 2023 · 0f73d50 · 0f73d50
1 parent 2ffb5d6
commit 0f73d50
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/NullAwayCustomLibraryModelsTests.java b/nullaway/src/test/java/com/uber/nullaway/NullAwayCustomLibraryModelsTests.java
@@ -254,6 +254,10 @@ public void libraryModelsAndOverridingFieldNullability() {
             "         this.nonnullField = uwm.nullableFieldUnannotated1;",
             "      }",
             "   }",
+            "   String dereferenceTest() {",
+            "      // BUG: Diagnostic contains: dereferenced expression uwm.nullableFieldUnannotated1 is @Nullable",
+            "      return uwm.nullableFieldUnannotated1.toString();",
+            "   }",
             "}")
         .doTest();
   }