diff options
Diffstat (limited to 'nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyTests.java')
-rw-r--r-- | nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyTests.java | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyTests.java b/nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyTests.java index ed9acb1..246d7e8 100644 --- a/nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyTests.java +++ b/nullaway/src/test/java/com/uber/nullaway/NullAwayJSpecifyTests.java @@ -988,6 +988,31 @@ public class NullAwayJSpecifyTests extends NullAwayTestsBase { } @Test + public void nullUnmarkedRestrictiveAnnotationsAndGenerics() { + makeTestHelperWithArgs( + Arrays.asList( + "-d", + temporaryFolder.getRoot().getAbsolutePath(), + "-XepOpt:NullAway:AnnotatedPackages=com.uber", + "-XepOpt:NullAway:AcknowledgeRestrictiveAnnotations=true")) + .addSourceLines( + "Test.java", + "package com.uber;", + "import org.jspecify.annotations.NullUnmarked;", + "import org.jetbrains.annotations.Nullable;", + "import org.jetbrains.annotations.NotNull;", + "import java.util.List;", + "public class Test {", + " @NullUnmarked", + " public static void takesNullable(@Nullable List<@NotNull String> l) {}", + " public static void test() {", + " takesNullable(null);", + " }", + "}") + .doTest(); + } + + @Test public void nullMarkedStaticImports() { makeTestHelperWithArgs( Arrays.asList( |