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

Add explicit enabling of TypeEnhancementImprovementsInStrictMode in jspecify tests

Browse Source
This commit is contained in:
Victor Petukhov
2021-06-02 13:26:42 +03:00
parent 39ffcd3ba6
commit f92ab691f8
12 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.fir.kt
Vendored
+1
View File
@@ -1,5 +1,6 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: AnnotatedBoundsOfWildcard.java // FILE: AnnotatedBoundsOfWildcard.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.kt
Vendored
+1
View File
@@ -1,5 +1,6 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: AnnotatedBoundsOfWildcard.java // FILE: AnnotatedBoundsOfWildcard.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Defaults.fir.kt
Vendored
+1
View File
@@ -1,4 +1,5 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: Defaults.java // FILE: Defaults.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Defaults.kt
Vendored
+1
View File
@@ -1,4 +1,5 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: Defaults.java // FILE: Defaults.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/IgnoreAnnotations.fir.kt
Vendored
+1
View File
@@ -1,4 +1,5 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: IgnoreAnnotations.java // FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/IgnoreAnnotations.kt
Vendored
+1
View File
@@ -1,4 +1,5 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: IgnoreAnnotations.java // FILE: IgnoreAnnotations.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt
Vendored
+1 -1
View File
@@ -1,4 +1,4 @@
// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated +TypeEnhancementImprovementsInStrictMode
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.kt
Vendored
+1 -1
View File
@@ -1,4 +1,4 @@
// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated +TypeEnhancementImprovementsInStrictMode
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Simple.fir.kt
Vendored
+1
View File
@@ -1,4 +1,5 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: Simple.java // FILE: Simple.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Simple.kt
Vendored
+1
View File
@@ -1,4 +1,5 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: Simple.java // FILE: Simple.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.fir.kt
Vendored
+1
View File
@@ -1,3 +1,4 @@
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.kt
Vendored
+1
View File
@@ -1,5 +1,6 @@
// JSPECIFY_STATE: strict // JSPECIFY_STATE: strict
// MUTE_FOR_PSI_CLASS_FILES_READING // MUTE_FOR_PSI_CLASS_FILES_READING
// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
// FILE: TypeArgumentsFromParameterBounds.java // FILE: TypeArgumentsFromParameterBounds.java
import org.jspecify.nullness.*; import org.jspecify.nullness.*;