Add test case for @nullable Void with override in JSpecify mode (#990)

See #801
uber · Jun 30, 2024 · a3b94e9 · a3b94e9
1 parent 09e9a93
commit a3b94e9
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericsTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/GenericsTests.java
@@ -1304,6 +1304,24 @@ public void overrideAnonymousNestedClass() {
         .doTest();
   }
 
+  @Test
+  public void nullableVoidGenericsLambda() {
+    makeHelper()
+        .addSourceLines(
+            "Test.java",
+            "package com.uber;",
+            "import org.jspecify.annotations.Nullable;",
+            "class Test {",
+            "  interface TestInterface<T extends @Nullable Object> {",
+            "    T test();",
+            "  }",
+            "  public TestInterface<@Nullable Void> getTest() {",
+            "    return () -> { return null; };",
+            "  }",
+            "}")
+        .doTest();
+  }
+
   @Test
   public void explicitlyTypedAnonymousClassAsReceiver() {
     makeHelper()