test case

msridhar · Aug 3, 2024 · 4d8a0a1 · 4d8a0a1
1 parent 7c5edf7
commit 4d8a0a1
Show file tree

Hide file tree

Showing 2 changed files with 25 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/jspecify/BytecodeGenericsTests.java b/nullaway/src/test/java/com/uber/nullaway/jspecify/BytecodeGenericsTests.java
@@ -222,6 +222,22 @@ public void overrideReturnTypes() {
         .doTest();
   }
 
+  @Test
+  public void callMethodTakingJavaUtilFunction() {
+    makeHelper()
+        .addSourceLines(
+            "Test.java",
+            "package com.uber;",
+            "import org.jspecify.annotations.Nullable;",
+            "import com.uber.lib.generics.JavaUtilFunctionMethods;",
+            "class Test {",
+            "  static void testNegative() {",
+            "    JavaUtilFunctionMethods.withFunction(s -> { return null; });",
+            "  }",
+            "}")
+        .doTest();
+  }
+
   private CompilationTestHelper makeHelper() {
     return makeTestHelperWithArgs(
         Arrays.asList(

diff --git a/test-java-lib/src/main/java/com/uber/lib/generics/JavaUtilFunctionMethods.java b/test-java-lib/src/main/java/com/uber/lib/generics/JavaUtilFunctionMethods.java
@@ -0,0 +1,9 @@
+package com.uber.lib.generics;
+
+import java.util.function.Function;
+import org.jspecify.annotations.Nullable;
+
+public class JavaUtilFunctionMethods {
+
+  public static void withFunction(Function<String, @Nullable String> f) {}
+}