From 6cfb1f40d6881a90a6e8ac632347775a23d49b0a Mon Sep 17 00:00:00 2001 From: Victor Petukhov Date: Mon, 5 Jul 2021 16:18:02 +0300 Subject: [PATCH] Specify jspecify mode explicitly for warnings in tests --- .../strictMode/WildcardsWithDefault.fir.txt | 4 ++-- .../jspecify/strictMode/WildcardsWithDefault.txt | 4 ++-- .../warnMode/AnnotatedBoundsOfWildcard.fir.kt | 1 + .../jspecify/warnMode/AnnotatedBoundsOfWildcard.kt | 1 + .../java8Tests/jspecify/warnMode/Defaults.fir.kt | 1 + .../java8Tests/jspecify/warnMode/Defaults.kt | 1 + .../jspecify/warnMode/IgnoreAnnotations.fir.kt | 1 + .../jspecify/warnMode/IgnoreAnnotations.kt | 1 + .../warnMode/NonPlatformTypeParameter.fir.kt | 1 + .../jspecify/warnMode/NonPlatformTypeParameter.kt | 1 + .../NullnessUnspecifiedTypeParameter.fir.kt | 1 + .../warnMode/NullnessUnspecifiedTypeParameter.kt | 1 + .../java8Tests/jspecify/warnMode/SelfType.fir.kt | 1 + .../java8Tests/jspecify/warnMode/SelfType.kt | 1 + .../java8Tests/jspecify/warnMode/Simple.fir.kt | 1 + .../java8Tests/jspecify/warnMode/Simple.kt | 1 + .../TypeArgumentsFromParameterBounds.fir.kt | 1 + .../warnMode/TypeArgumentsFromParameterBounds.kt | 1 + .../jspecify/warnMode/TypeParameterBounds.fir.kt | 1 + .../jspecify/warnMode/TypeParameterBounds.kt | 1 + .../jspecify/warnMode/WildcardsWithDefault.fir.kt | 1 + .../jspecify/warnMode/WildcardsWithDefault.kt | 1 + .../jspecify/moduleAnnotations/warn/basic.kt | 1 + .../warn/composeWithClassDefaultAnnotation.kt | 1 + .../warn/composeWithPackageDefaultAnnotation.kt | 1 + .../warn/dependentModulesNoNullMarked.kt | 1 + .../warn/dependentModulesNullMarked.kt | 1 + ...duleAnnotationToAnotherModuleWithSamePackage.kt | 1 + .../moduleAnnotations/warn/dotNamedModule.kt | 1 + .../warn/inheritanceAcrossModules.kt | 1 + .../moduleAnnotations/warn/nestedClasses.kt | 1 + .../warn/overrideAtDeclarationLevel.kt | 1 + .../warn/severalModulesDifferentPackages.kt | 1 + .../foreignAnnotationsTests/tests/multiple.txt | 14 +++++++++++++- 34 files changed, 48 insertions(+), 5 deletions(-) diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.txt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.txt index 378cb62443e..f23f649a186 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.txt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.txt @@ -2,8 +2,8 @@ package public fun main(/*0*/ aNotNullNotNullNotNull: A, /*1*/ aNotNullNotNullNull: A, /*2*/ aNotNullNullNotNull: A, /*3*/ aNotNullNullNull: A, /*4*/ b: WildcardsWithDefault): kotlin.Unit -public open class A { - public constructor A() +public open class A { + public constructor A() public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.txt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.txt index bc7a7517225..37d62cc9b97 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.txt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.txt @@ -2,8 +2,8 @@ package public fun main(/*0*/ aNotNullNotNullNotNull: A, /*1*/ aNotNullNotNullNull: A, /*2*/ aNotNullNullNotNull: A, /*3*/ aNotNullNullNull: A, /*4*/ b: WildcardsWithDefault): kotlin.Unit -public open class A { - public constructor A() +public open class A { + public constructor A() public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt index 0f6a58b00de..7c214c08363 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: AnnotatedBoundsOfWildcard.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.kt index 0f6a58b00de..7c214c08363 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: AnnotatedBoundsOfWildcard.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt index 9ddee588286..38f6c482cc9 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: Defaults.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.kt index eb9b3e42c9c..e58ffb39fed 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: Defaults.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt index 50f7a355ef1..1b4442ffe0b 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: IgnoreAnnotations.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.kt index 50f7a355ef1..1b4442ffe0b 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: IgnoreAnnotations.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt index fd7d5cd5092..ebb2ef5ec16 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // MUTE_FOR_PSI_CLASS_FILES_READING diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.kt index fd7d5cd5092..ebb2ef5ec16 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated // MUTE_FOR_PSI_CLASS_FILES_READING diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt index 33ddb1f6f2a..efe26f393be 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: NullnessUnspecifiedTypeParameter.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.kt index 7b05a230ea9..a3154623f08 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: NullnessUnspecifiedTypeParameter.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt index a5bb0e961ba..b59b7e1a96f 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: SelfType.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.kt index 65e558acf99..e2b7313dbee 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: SelfType.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt index 264efbcd9f3..9263196c9d5 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: Simple.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.kt index c6d8f5eba4e..5a73770c3d6 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: Simple.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt index 650c10d283b..638c05bbae4 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: TypeArgumentsFromParameterBounds.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.kt index 650c10d283b..638c05bbae4 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: TypeArgumentsFromParameterBounds.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt index 34427d84af8..c2aa20fbe18 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: A.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.kt index 87bbfd0993a..bb1e8fa1275 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // FILE: A.java import org.jspecify.nullness.*; diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.kt index 82caaa15da3..4c81f634f00 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: WildcardsWithDefault.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.kt index 82caaa15da3..4c81f634f00 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // MUTE_FOR_PSI_CLASS_FILES_READING // FILE: WildcardsWithDefault.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/basic.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/basic.kt index 041204f8193..3064e8cf940 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/basic.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/basic.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // FILE: sandbox/module-info.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.kt index a78a861ede3..927b4c03a21 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // FILE: sandbox/test/module-info.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.kt index da271a1ce0c..918d2e91a41 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // FILE: sandbox/module-info.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.kt index a639b59fdb6..cb5e10638de 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // MODULE: module1 diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.kt index 7bfc5195bf2..aa959d1c5aa 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // MODULE: module1 diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt index 05729c69bde..fdfabd2f45e 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // MODULE: sandbox diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dotNamedModule.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dotNamedModule.kt index ca5497ed6ff..da2694b8fd5 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dotNamedModule.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/dotNamedModule.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // FILE: my.sand.box/module-info.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.kt index 1f97c243560..1611806de25 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // MODULE: module1 diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/nestedClasses.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/nestedClasses.kt index f0a0edd04e7..00573def489 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/nestedClasses.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/nestedClasses.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // FILE: sandbox/module-info.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.kt index 4624ab6a1cd..4f221b386c8 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // FILE: sandbox/test/module-info.java diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.kt index 83b6117cfa0..b344c490418 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java9Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.kt @@ -1,3 +1,4 @@ +// JSPECIFY_STATE: warn // ALLOW_KOTLIN_PACKAGE // MODULE: module1 diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/tests/multiple.txt b/compiler/testData/diagnostics/foreignAnnotationsTests/tests/multiple.txt index 38c7293686d..49b6c96e2ad 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/tests/multiple.txt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/tests/multiple.txt @@ -3,7 +3,7 @@ package public fun main1(/*0*/ a: A1, /*1*/ a1: A1): kotlin.Unit public fun main2(/*0*/ a: A2, /*1*/ a1: A2): kotlin.Unit public fun main3(/*0*/ a: A3, /*1*/ a1: A3): kotlin.Unit -public fun main4(/*0*/ a: [ERROR : A4], /*1*/ a1: [ERROR : A4]): kotlin.Unit +public fun main4(/*0*/ a: A4, /*1*/ a1: A4): kotlin.Unit public open class A1 { public constructor A1() @@ -37,3 +37,15 @@ public open class A3 { public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String } + +public open class A4 { + public constructor A4() + @com.android.annotations.Nullable public final var field: kotlin.String! + @com.android.annotations.NonNull public open fun bar(): kotlin.String! + @com.android.annotations.Nullable public open fun baz(/*0*/ @com.android.annotations.NonNull x: T!): T! + public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean + @com.android.annotations.Nullable public open fun foo(/*0*/ @com.android.annotations.NonNull x: kotlin.String!, /*1*/ @com.android.annotations.Nullable y: kotlin.CharSequence!): kotlin.String! + public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int + public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String +} +