add an integration test

Author: msridhar

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

@@ -247,6 +247,32 @@ public void nullableArrayTest() {
         .doTest();
   }
 
+  @Test
+  public void nullableGenericArrayTest() {
+    compilationHelper
+        .setArgs(
+            Arrays.asList(
+                "-d",
+                temporaryFolder.getRoot().getAbsolutePath(),
+                "-XepOpt:NullAway:AnnotatedPackages=com.uber",
+                "-XepOpt:NullAway:JSpecifyMode=true",
+                "-XepOpt:NullAway:JarInferEnabled=true"))
+        .addSourceLines(
+            "Test.java",
+            "package com.uber;",
+            "import com.uber.nullaway.jdkannotations.ParameterAnnotation;",
+            "class Test {",
+            "  static void testPositive() {",
+            "    // BUG: Diagnostic contains: passing @Nullable parameter 'null' where @NonNull is required",
+            "    ParameterAnnotation.takesNonNullGenericArray(null);",
+            "  }",
+            "  static void testNegative() {",
+            "    ParameterAnnotation.takesNullGenericArray(null);",
+            "  }",
+            "}")
+        .doTest();
+  }
+
   @Test
   public void genericParameterTest() {
     compilationHelper

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

@@ -43,4 +43,14 @@ public void printObjectString(T t) {
       System.out.println(t.toString());
     }
   }
+
+  @SuppressWarnings("ArrayToString")
+  public static void takesNullGenericArray(Generic<String> @Nullable [] objects) {
+    System.out.println(objects);
+  }
+
+  @SuppressWarnings("ArrayToString")
+  public static void takesNonNullGenericArray(Generic<String>[] objects) {
+    System.out.println(objects);
+  }
 }

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

@@ -1,5 +1,7 @@
 package com.uber.nullaway.jdkannotations;
 
+import org.jspecify.annotations.Nullable;
+
 public class ParameterAnnotation {
   public static Integer add(Integer a, Integer b) {
     return a + b;
@@ -37,4 +39,14 @@ public void printObjectString(T t) {
       System.out.println(t.toString());
     }
   }
+
+  @SuppressWarnings("ArrayToString")
+  public static void takesNullGenericArray(Generic<String> @Nullable [] objects) {
+    System.out.println(objects);
+  }
+
+  @SuppressWarnings("ArrayToString")
+  public static void takesNonNullGenericArray(Generic<String>[] objects) {
+    System.out.println(objects);
+  }
 }