azalea/kotlin-fork
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Make the jspecify test accept either (old & new) annotations.

Browse Source
This commit is contained in:
Kevin Bourrillion
2022-12-12 18:55:13 -08:00
committed by Space Team
parent 2329ee5f84
commit b69b7ab22d
2 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/cli/jvm/jspecify/A.java
Vendored
+2 -2
View File
@@ -1,7 +1,7 @@
@org.jspecify.nullness.NullMarked @org.jspecify.annotations.NullMarked
public class A { public class A {
public void foo(String x) {} public void foo(String x) {}
@org.jspecify.nullness.Nullable @org.jspecify.annotations.Nullable
public String bar() { return null; } public String bar() { return null; }
} }
compiler/testData/cli/jvm/nullabilityAnnotations.args
Vendored
+1
View File
@@ -1,3 +1,4 @@
-Xnullability-annotations=@org.jspecify.annotations\:strict
-Xnullability-annotations=@org.jspecify.nullness\:strict -Xnullability-annotations=@org.jspecify.nullness\:strict
-Xnullability-annotations=@org.checkerframework.checker.nullness.compatqual\:warn -Xnullability-annotations=@org.checkerframework.checker.nullness.compatqual\:warn
$TESTDATA_DIR$/severalAnnotations.kt $TESTDATA_DIR$/severalAnnotations.kt