make test case

Author: haewiful

jdk-annotations/jdk-integration-test/src/test/java/com/uber/nullaway/jdkannotations/JDKIntegrationTest.java

@@ -353,4 +353,33 @@ public void libraryLoadMethodParserReturn() {
             "}")
         .doTest();
   }
+
+  @Test
+  public void loadLibraryModuleMethodTypeParam() {
+    compilationHelper
+        .setArgs(
+            Arrays.asList(
+                "-d",
+                temporaryFolder.getRoot().getAbsolutePath(),
+                "-XepOpt:NullAway:AnnotatedPackages=com.uber",
+                "-XepOpt:NullAway:JarInferEnabled=true"))
+        .addSourceLines(
+            "Test.java",
+            "package com.uber;",
+            "import org.jspecify.annotations.Nullable;",
+            "import com.uber.nullaway.jdkannotations.ParameterAnnotation;",
+            "import java.util.List;",
+            "class Test {",
+            "  void testCall() {",
+            "    ParameterAnnotation.nullableTypeParam(1, null).toString();",
+            "    ParameterAnnotation.nullableTypeParam(1, \"string\").toString();",
+            "    // BUG: Diagnostic contains: passing @Nullable parameter 'null' where @NonNull is required",
+            "    ParameterAnnotation.nullableTypeParam(null, \"string\");",
+            "    ParameterAnnotation.nonNullTypeParam(1);",
+            "    // BUG: Diagnostic contains: passing @Nullable parameter 'null' where @NonNull is required",
+            "    ParameterAnnotation.nonNullTypeParam(null);",
+            "  }",
+            "}")
+        .doTest();
+  }
 }

jdk-annotations/test-annotated/src/main/java/com/uber/nullaway/jdkannotations/ParameterAnnotation.java

@@ -53,4 +53,10 @@ public static void takesNullGenericArray(Generic<String> @Nullable [] objects) {
   public static void takesNonNullGenericArray(Generic<String>[] objects) {
     System.out.println(objects);
   }
+
+  public static <K, T extends @Nullable String> T nullableTypeParam(K k, @Nullable T t) {
+    return t;
+  }
+
+  public static <T> void nonNullTypeParam(T t) {}
 }

jdk-annotations/test-unannotated/src/main/java/com/uber/nullaway/jdkannotations/ParameterAnnotation.java

@@ -47,4 +47,10 @@ public static void takesNullGenericArray(Generic<String>[] objects) {
   public static void takesNonNullGenericArray(Generic<String>[] objects) {
     System.out.println(objects);
   }
+
+  public static <K, T extends String> T nullableTypeParam(K k, T t) {
+    return t;
+  }
+
+  public static <T> void nonNullTypeParam(T t) {}
 }