more testing

msridhar · msridhar · commit 0aaa4a64f99f · 2025-10-08T20:54:33.000-07:00
diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericMethodTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericMethodTests.java
@@ -773,7 +773,6 @@ public void firstOrDefaultSelfContained() {
         .doTest();
   }
 
-  @Ignore("need better support for generics inference combined with local vars")
   @Test
   public void firstOrDefaultLocalVarParam() {
     makeHelper()
@@ -831,6 +830,16 @@ public void testLocalsRefined() {
             "        // BUG: Diagnostic contains: Failed to infer type argument nullability",
             "        field = id(s);",
             "    }",
+            "    @Nullable String field2 = null;",
+            "    void testField2() {",
+            "        String s = null;",
+            "        field2 = id(s);",
+            "        // BUG: Diagnostic contains: dereferenced expression field2 is @Nullable",
+            "        field2.hashCode();",
+            "        s = \"hello\";",
+            "        field2 = id(s);",
+            "        field2.hashCode();",
+            "    }",
             "    void testLoop() {",
             "        String s = \"hello\";",
             "        while (true) {",
