diff --git a/compiler/testData/cli/jvm/jspecify/A.java b/compiler/testData/cli/jvm/jspecify/A.java index 9778e2315c3..c176b2ea32e 100644 --- a/compiler/testData/cli/jvm/jspecify/A.java +++ b/compiler/testData/cli/jvm/jspecify/A.java @@ -1,7 +1,7 @@ -@org.jspecify.nullness.NullMarked +@org.jspecify.annotations.NullMarked public class A { public void foo(String x) {} - @org.jspecify.nullness.Nullable + @org.jspecify.annotations.Nullable public String bar() { return null; } } diff --git a/compiler/testData/cli/jvm/nullabilityAnnotations.args b/compiler/testData/cli/jvm/nullabilityAnnotations.args index 0dd32abb34e..114b3e66dfc 100644 --- a/compiler/testData/cli/jvm/nullabilityAnnotations.args +++ b/compiler/testData/cli/jvm/nullabilityAnnotations.args @@ -1,3 +1,4 @@ +-Xnullability-annotations=@org.jspecify.annotations\:strict -Xnullability-annotations=@org.jspecify.nullness\:strict -Xnullability-annotations=@org.checkerframework.checker.nullness.compatqual\:warn $TESTDATA_DIR$/severalAnnotations.kt