more tests and comments

uber · Dec 31, 2022 · f43a69a · f43a69a
1 parent f300953
commit f43a69a
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/nullaway/src/test/java/com/uber/nullaway/NullAwayCoreTests.java b/nullaway/src/test/java/com/uber/nullaway/NullAwayCoreTests.java
@@ -1083,10 +1083,20 @@ public void typeUseAnnotationOnArray() {
         .addSourceLines(
             "Test.java",
             "package com.uber;",
+            "import java.util.Set;",
             "import org.checkerframework.checker.nullness.qual.Nullable;",
             "class Test {",
+            "  // ok only for backwards compat",
             "  @Nullable Object[] foo1 = null;",
+            "  // ok according to spec",
             "  Object @Nullable[] foo2 = null;",
+            "  // ok only for backwards compat",
+            "  @Nullable Object [][] foo3 = null;",
+            "  // ok according to spec",
+            "  Object @Nullable [][] foo4 = null;",
+            "  // NOT ok; @Nullable applies to first array dimension",
+            "  // BUG: Diagnostic contains: assigning @Nullable expression",
+            "  Object [] @Nullable [] foo5 = null;",
             "}")
         .doTest();
   }