Add tests for gh-1246 (#1247)

rwinch · web-flow · commit f59d952f69bd · 2025-08-15T23:19:40.000Z
This adds (Ignored) tests for the failures for nullable super invocations described in gh-1246
diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericsTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericsTests.java
@@ -2342,6 +2342,50 @@ public void callWithConstructorReceiver() {
         .doTest();
   }
 
+  @Ignore("https://github.com/uber/NullAway/issues/1246")
+  @Test
+  public void nullableSuperConstructorArg() {
+    makeHelper()
+        .addSourceLines(
+            "Test.java",
+            "import org.jspecify.annotations.NullMarked;",
+            "import org.jspecify.annotations.Nullable;",
+            "@NullMarked",
+            "public class Test {",
+            "  private static class A<T extends @Nullable Object> {",
+            "    A(T t) {}",
+            "  }",
+            "  private static class B extends A<@Nullable Object> {",
+            "    B() {",
+            "      super(null);",
+            "  }",
+            "  }",
+            "}")
+        .doTest();
+  }
+
+  @Ignore("https://github.com/uber/NullAway/issues/1246")
+  @Test
+  public void nullableSuperMethodArg() {
+    makeHelper()
+        .addSourceLines(
+            "Test.java",
+            "import org.jspecify.annotations.NullMarked;",
+            "import org.jspecify.annotations.Nullable;",
+            "@NullMarked",
+            "public class Test {",
+            "  private static class A<T extends @Nullable Object> {",
+            "    void m(T t) {}",
+            "  }",
+            "  private static class B extends A<@Nullable Object> {",
+            "    void test() {",
+            "      m(null);",
+            "    }",
+            "  }",
+            "}")
+        .doTest();
+  }
+
   @Test
   public void newNullableWithArg() {
     makeHelper()
