Remove "FIR" foreign annotation tests

They do not actually use FIR.

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.fir.kt

@@ -1,90 +0,0 @@
-// JSPECIFY_STATE: strict
-// MUTE_FOR_PSI_CLASS_FILES_READING
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
-
-// FILE: AnnotatedBoundsOfWildcard.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class AnnotatedBoundsOfWildcard {
-    public void superAsIs(Test<? super Base, ? super @Nullable Base, ? super @NullnessUnspecified Base> a) {}
-    public void superNotNull(Test<? super Base, ? super Base, ? super Base> a) {}
-    public void superNullable(Test<? super @Nullable Base, ? super @Nullable Base, ? super @Nullable Base> a) {}
-
-    public void extendsAsIs(Test<? extends Base, ? extends @Nullable Base, ? extends @NullnessUnspecified Base> a) {}
-    public void extendsNotNull(Test<? extends Base, ? extends Base, ? extends Base> a) {}
-    public void extendsNullable(Test<? extends @Nullable Base, ? extends @Nullable Base, ? extends @Nullable Base> a) {}
-
-    public void noBounds(Test<? extends @NullnessUnspecified Object, ? extends @NullnessUnspecified Object, ? extends @NullnessUnspecified Object> a) {}
-}
-
-// FILE: Base.java
-public class Base {}
-
-// FILE: Derived.java
-public class Derived extends Base {}
-
-// FILE: Test.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class Test<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> { }
-
-// FILE: main.kt
-fun main(
-            aNotNullNotNullNotNull: Test<Derived, Derived, Derived>,
-            aNotNullNotNullNull: Test<Derived, Derived, Derived?>,
-            aNotNullNullNotNull: Test<Derived, Derived?, Derived>,
-            aNotNullNullNull: Test<Derived, Derived?, Derived?>,
-
-            aAnyNotNullNotNullNotNull: Test<Any, Any, Any>,
-            aAnyNotNullNotNullNull: Test<Any, Any, Any?>,
-            aAnyNotNullNullNotNull: Test<Any, Any?, Any>,
-            aAnyNotNullNullNull: Test<Any, Any?, Any?>,
-
-            b: AnnotatedBoundsOfWildcard
-): Unit {
-    // jspecify_nullness_mismatch
-    b.superAsIs(<!TYPE_MISMATCH!>aAnyNotNullNotNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.superAsIs(<!TYPE_MISMATCH!>aAnyNotNullNotNullNull<!>)
-    b.superAsIs(aAnyNotNullNullNotNull)
-    b.superAsIs(aAnyNotNullNullNull)
-
-    b.superNotNull(aAnyNotNullNotNullNotNull)
-    b.superNotNull(aAnyNotNullNotNullNull)
-    b.superNotNull(aAnyNotNullNullNotNull)
-    b.superNotNull(aAnyNotNullNullNull)
-
-    // jspecify_nullness_mismatch
-    b.superNullable(<!TYPE_MISMATCH!>aAnyNotNullNotNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.superNullable(<!TYPE_MISMATCH!>aAnyNotNullNotNullNull<!>)
-    // jspecify_nullness_mismatch
-    b.superNullable(<!TYPE_MISMATCH!>aAnyNotNullNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.superNullable(<!TYPE_MISMATCH!>aAnyNotNullNullNull<!>)
-
-    b.extendsAsIs(aNotNullNotNullNotNull)
-    b.extendsAsIs(aNotNullNotNullNull)
-    b.extendsAsIs(aNotNullNullNotNull)
-    b.extendsAsIs(aNotNullNullNull)
-
-    b.extendsNotNull(aNotNullNotNullNotNull)
-    // jspecify_nullness_mismatch
-    b.extendsNotNull(<!TYPE_MISMATCH!>aNotNullNotNullNull<!>)
-    // jspecify_nullness_mismatch
-    b.extendsNotNull(<!TYPE_MISMATCH!>aNotNullNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.extendsNotNull(<!TYPE_MISMATCH!>aNotNullNullNull<!>)
-
-    b.extendsNullable(aNotNullNotNullNotNull)
-    b.extendsNullable(aNotNullNotNullNull)
-    b.extendsNullable(aNotNullNullNotNull)
-    b.extendsNullable(aNotNullNullNull)
-
-    b.noBounds(aNotNullNotNullNotNull)
-    b.noBounds(aNotNullNotNullNull)
-    b.noBounds(aNotNullNullNotNull)
-    b.noBounds(aNotNullNullNull)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/AnnotatedBoundsOfWildcard.fir.txt

@@ -1,38 +0,0 @@
-package
-
-public fun main(/*0*/ aNotNullNotNullNotNull: Test<Derived, Derived, Derived>, /*1*/ aNotNullNotNullNull: Test<Derived, Derived, Derived?>, /*2*/ aNotNullNullNotNull: Test<Derived, Derived?, Derived>, /*3*/ aNotNullNullNull: Test<Derived, Derived?, Derived?>, /*4*/ aAnyNotNullNotNullNotNull: Test<kotlin.Any, kotlin.Any, kotlin.Any>, /*5*/ aAnyNotNullNotNullNull: Test<kotlin.Any, kotlin.Any, kotlin.Any?>, /*6*/ aAnyNotNullNullNotNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any>, /*7*/ aAnyNotNullNullNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*8*/ b: AnnotatedBoundsOfWildcard): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class AnnotatedBoundsOfWildcard {
-    public constructor AnnotatedBoundsOfWildcard()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun extendsAsIs(/*0*/ a: Test<out Base, out @org.jspecify.nullness.Nullable Base?, out @org.jspecify.nullness.NullnessUnspecified Base!>): kotlin.Unit
-    public open fun extendsNotNull(/*0*/ a: Test<out Base, out Base, out Base>): kotlin.Unit
-    public open fun extendsNullable(/*0*/ a: Test<out @org.jspecify.nullness.Nullable Base?, out @org.jspecify.nullness.Nullable Base?, out @org.jspecify.nullness.Nullable Base?>): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open fun noBounds(/*0*/ a: Test<out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>): kotlin.Unit
-    public open fun superAsIs(/*0*/ a: Test<in Base, in @org.jspecify.nullness.Nullable Base?, in @org.jspecify.nullness.NullnessUnspecified Base!>): kotlin.Unit
-    public open fun superNotNull(/*0*/ a: Test<in Base, in Base, in Base>): kotlin.Unit
-    public open fun superNullable(/*0*/ a: Test<in @org.jspecify.nullness.Nullable Base?, in @org.jspecify.nullness.Nullable Base?, in @org.jspecify.nullness.Nullable Base?>): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Base {
-    public constructor Base()
-    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
-}
-
-public open class Derived : Base {
-    public constructor Derived()
-    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
-}
-
-@org.jspecify.nullness.NullMarked public open class Test</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
-    public constructor Test</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Captured.fir.kt

@@ -1,17 +0,0 @@
-// JSPECIFY_STATE: strict
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
-// FILE: J1.java
-import org.jetbrains.annotations.Nullable;
-
-public interface J1<T> {
-    @Nullable
-    public static <T> T foo(J1<T> x) { return null; }
-}
-
-// FILE: J2.java
-import org.jspecify.nullness.Nullable;
-
-public interface J2<V extends @Nullable Object> extends J1<V> { }
-
-// FILE: kotlin.kt
-private fun J2<*>.bar() = J1.foo(this)

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Captured.fir.txt

@@ -1,18 +0,0 @@
-package
-
-private fun J2<*>.bar(): @org.jspecify.nullness.Nullable kotlin.Any?
-
-public interface J1</*0*/ T : kotlin.Any!> {
-    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
-
-    // Static members
-    @org.jetbrains.annotations.Nullable public open fun </*0*/ T : kotlin.Any!> foo(/*0*/ x: J1<T!>!): @org.jetbrains.annotations.Nullable T?
-}
-
-public interface J2</*0*/ V> : J1<V> {
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Defaults.fir.kt

@@ -1,51 +0,0 @@
-// JSPECIFY_STATE: strict
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
-
-// FILE: Defaults.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class Defaults {
-    public Foo defaultField = null;
-    @Nullable public Foo field = null;
-
-    public Foo everythingNotNullable(Foo x) { return null; }
-
-    public @Nullable Foo everythingNullable(@Nullable Foo x) { return null; }
-
-    public @NullnessUnspecified Foo everythingUnknown(@NullnessUnspecified Foo x) { return null; }
-
-    public @Nullable Foo mixed(Foo x) { return null; }
-
-    public Foo explicitlyNullnessUnspecified(@NullnessUnspecified Foo x) { return null; }
-}
-
-// FILE: Foo.java
-public class Foo {
-    public Object foo() { return null; }
-}
-
-// FILE: main.kt
-fun main(a: Defaults, x: Foo): Unit {
-    // jspecify_nullness_mismatch
-    a.everythingNotNullable(<!NULL_FOR_NONNULL_TYPE!>null<!>).foo()
-    a.everythingNotNullable(x).foo()
-
-    // jspecify_nullness_mismatch
-    a.everythingNullable(null)<!UNSAFE_CALL!>.<!>foo()
-
-    a.everythingUnknown(null).foo()
-
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a.mixed(<!NULL_FOR_NONNULL_TYPE!>null<!>)<!UNSAFE_CALL!>.<!>foo()
-    // jspecify_nullness_mismatch
-    a.mixed(x)<!UNSAFE_CALL!>.<!>foo()
-
-    a.explicitlyNullnessUnspecified(x).foo()
-    a.explicitlyNullnessUnspecified(null).foo()
-
-    a.defaultField.foo()
-
-    // jspecify_nullness_mismatch
-    a.field<!UNSAFE_CALL!>.<!>foo()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Defaults.fir.txt

@@ -1,25 +0,0 @@
-package
-
-public fun main(/*0*/ a: Defaults, /*1*/ x: Foo): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class Defaults {
-    public constructor Defaults()
-    public final var defaultField: Foo
-    @org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Foo?
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun everythingNotNullable(/*0*/ x: Foo): Foo
-    @org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Foo?): @org.jspecify.nullness.Nullable Foo?
-    @org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): @org.jspecify.nullness.NullnessUnspecified Foo!
-    public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): Foo
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    @org.jspecify.nullness.Nullable public open fun mixed(/*0*/ x: Foo): @org.jspecify.nullness.Nullable Foo?
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Foo {
-    public constructor Foo()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(): kotlin.Any!
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/IgnoreAnnotations.fir.kt

@@ -1,49 +0,0 @@
-// JSPECIFY_STATE: strict
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
-
-// FILE: IgnoreAnnotations.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class IgnoreAnnotations {
-    @Nullable public Derived field = null;
-
-    @Nullable
-    public Derived foo(Derived x, @NullnessUnspecified Base y) {
-        return null;
-    }
-
-    public Derived everythingNotNullable(Derived x) { return null; }
-
-    public @Nullable Derived everythingNullable(@Nullable Derived x) { return null; }
-
-    public @NullnessUnspecified Derived everythingUnknown(@NullnessUnspecified Derived x) { return null; }
-}
-
-// FILE: Base.java
-public class Base {
-    void foo() {}
-}
-
-// FILE: Derived.java
-public class Derived extends Base { }
-
-// FILE: main.kt
-fun main(a: IgnoreAnnotations, x: Derived): Unit {
-    // jspecify_nullness_mismatch
-    a.foo(x, null)<!UNSAFE_CALL!>.<!>foo()
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>, x)<!UNSAFE_CALL!>.<!>foo()
-
-    // jspecify_nullness_mismatch
-    a.field<!UNSAFE_CALL!>.<!>foo()
-
-    // jspecify_nullness_mismatch
-    a.everythingNotNullable(<!NULL_FOR_NONNULL_TYPE!>null<!>).foo()
-    a.everythingNotNullable(x).foo()
-
-    // jspecify_nullness_mismatch
-    a.everythingNullable(null)<!UNSAFE_CALL!>.<!>foo()
-
-    a.everythingUnknown(null).foo()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/IgnoreAnnotations.fir.txt

@@ -1,31 +0,0 @@
-package
-
-public fun main(/*0*/ a: IgnoreAnnotations, /*1*/ x: Derived): kotlin.Unit
-
-public open class Base {
-    public constructor Base()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open fun foo(): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Derived : Base {
-    public constructor Derived()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open override /*1*/ /*fake_override*/ fun foo(): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class IgnoreAnnotations {
-    public constructor IgnoreAnnotations()
-    @org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived?
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun everythingNotNullable(/*0*/ x: Derived): Derived
-    @org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Derived?): @org.jspecify.nullness.Nullable Derived?
-    @org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Derived!): @org.jspecify.nullness.NullnessUnspecified Derived!
-    @org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived?
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt

@@ -1,30 +0,0 @@
-// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated +TypeEnhancementImprovementsInStrictMode
-// JSPECIFY_STATE: strict
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: NonPlatformTypeParameter.java
-import org.jspecify.nullness.*;
-
-public class NonPlatformTypeParameter<T extends @Nullable Object> {
-    public void foo(T t) {}
-    public <E extends @Nullable Object> void bar(E e) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun <T : Test> main(a1: NonPlatformTypeParameter<Any?>, a2: NonPlatformTypeParameter<Test>, x: T): Unit {
-    a1.foo(null)
-    a1.bar<Test?>(null)
-    // jspecify_nullness_mismatch
-    a1.bar<T>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a1.bar<T>(x)
-
-    // jspecify_nullness_mismatch
-    a2.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a2.bar<Test?>(null)
-    // jspecify_nullness_mismatch
-    a2.bar<T>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a2.bar<T>(x)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.txt

@@ -1,19 +0,0 @@
-package
-
-public fun </*0*/ T : Test> main(/*0*/ a1: NonPlatformTypeParameter<kotlin.Any?>, /*1*/ a2: NonPlatformTypeParameter<Test>, /*2*/ x: T): kotlin.Unit
-
-public open class NonPlatformTypeParameter</*0*/ T> {
-    public constructor NonPlatformTypeParameter</*0*/ T>()
-    public open fun </*0*/ E> bar(/*0*/ e: E): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NullnessUnspecifiedTypeParameter.fir.kt

@@ -1,36 +0,0 @@
-// JSPECIFY_STATE: strict
-
-// FILE: NullnessUnspecifiedTypeParameter.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class NullnessUnspecifiedTypeParameter<T> {
-    public void foo(T t) {}
-
-    public void bar(Test s, T t) {} // t should not become not nullable
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-// jspecify_nullness_mismatch
-fun main(a1: NullnessUnspecifiedTypeParameter<Any>, a2: NullnessUnspecifiedTypeParameter<<!UPPER_BOUND_VIOLATED!>Any?<!>>, x: Test): Unit {
-    // jspecify_nullness_mismatch
-    a1.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a1.foo(1)
-
-    a2.foo(null)
-    a2.foo(1)
-
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a1.bar(<!NULL_FOR_NONNULL_TYPE!>null<!>, <!NULL_FOR_NONNULL_TYPE!>null<!>)
-    // jspecify_nullness_mismatch
-    a1.bar(x, <!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a1.bar(x, 1)
-
-    // jspecify_nullness_mismatch
-    a2.bar(<!NULL_FOR_NONNULL_TYPE!>null<!>, null)
-    a2.bar(x, null)
-    a2.bar(x, 1)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NullnessUnspecifiedTypeParameter.fir.txt

@@ -1,19 +0,0 @@
-package
-
-public fun main(/*0*/ a1: NullnessUnspecifiedTypeParameter<kotlin.Any>, /*1*/ a2: NullnessUnspecifiedTypeParameter<kotlin.Any?>, /*2*/ x: Test): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any> {
-    public constructor NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any>()
-    public open fun bar(/*0*/ s: Test, /*1*/ t: T): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/SelfType.fir.kt

@@ -1,56 +0,0 @@
-// JSPECIFY_STATE: strict
-
-// FILE: SelfType.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class SelfType<T extends SelfType<T>> {
-    public void foo(T t) {}
-}
-
-// FILE: B.java
-public class B extends SelfType<B> {}
-
-// FILE: C.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class C<E extends C<E>> extends SelfType<E> {}
-
-// FILE: AK.java
-public class AK extends SelfType<AK> {}
-
-// FILE: AKN.java
-import org.jspecify.nullness.*;
-
-public class AKN extends SelfType<@Nullable AK> {}
-
-// FILE: BK.java
-public class BK extends B {}
-
-// FILE: CK.java
-public class CK extends C<CK> {}
-
-// FILE: CKN.java
-import org.jspecify.nullness.*;
-
-public class CKN extends C<@Nullable CK> {}
-
-// FILE: main.kt
-fun main(ak: AK, akn: AKN, bk: BK, ck: CK, ckn: CKN): Unit {
-    ak.foo(ak)
-    // jspecify_nullness_mismatch
-    ak.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-
-    akn.foo(null)
-
-    bk.foo(bk)
-    // jspecify_nullness_mismatch
-    bk.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-
-    ck.foo(ck)
-    // jspecify_nullness_mismatch
-    ck.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-
-    ckn.foo(null)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/SelfType.fir.txt

@@ -1,68 +0,0 @@
-package
-
-public fun main(/*0*/ ak: AK, /*1*/ akn: AKN, /*2*/ bk: BK, /*3*/ ck: CK, /*4*/ ckn: CKN): kotlin.Unit
-
-public open class AK : SelfType<AK> {
-    public constructor AK()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: AK): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class AKN : SelfType<@org.jspecify.nullness.Nullable AK?> {
-    public constructor AKN()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable AK?): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class B : SelfType<B> {
-    public constructor B()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class BK : B {
-    public constructor BK()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class C</*0*/ E : C<E!>> : SelfType<E> {
-    public constructor C</*0*/ E : C<E!>>()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class CK : C<CK> {
-    public constructor CK()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: CK): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class CKN : C<@org.jspecify.nullness.Nullable CK?> {
-    public constructor CKN()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable CK?): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class SelfType</*0*/ T : SelfType<T!>> {
-    public constructor SelfType</*0*/ T : SelfType<T!>>()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Simple.fir.kt

@@ -1,40 +0,0 @@
-// JSPECIFY_STATE: strict
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
-
-// FILE: Simple.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class Simple {
-    @Nullable public Derived field = null;
-
-    @Nullable
-    public Derived foo(Derived x, @NullnessUnspecified Base y) {
-        return null;
-    }
-
-    public Derived bar() {
-        return null;
-    }
-}
-
-// FILE: Base.java
-public class Base {}
-
-// FILE: Derived.java
-public class Derived extends Base {
-    void foo() {}
-}
-
-// FILE: main.kt
-fun main(a: Simple, x: Derived): Unit {
-    // jspecify_nullness_mismatch
-    a.foo(x, null)<!UNSAFE_CALL!>.<!>foo()
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>, x)<!UNSAFE_CALL!>.<!>foo()
-
-    a.bar().foo()
-
-    // jspecify_nullness_mismatch
-    a.field<!UNSAFE_CALL!>.<!>foo()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/Simple.fir.txt

@@ -1,28 +0,0 @@
-package
-
-public fun main(/*0*/ a: Simple, /*1*/ x: Derived): kotlin.Unit
-
-public open class Base {
-    public constructor Base()
-    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
-}
-
-public open class Derived : Base {
-    public constructor Derived()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open fun foo(): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class Simple {
-    public constructor Simple()
-    @org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived?
-    public open fun bar(): Derived
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    @org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived?
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.fir.kt

@@ -1,49 +0,0 @@
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode
-// JSPECIFY_STATE: strict
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: TypeArgumentsFromParameterBounds.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class TypeArgumentsFromParameterBounds<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
-
-// FILE: A.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class A {
-    public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
-}
-
-// FILE: B.java
-import org.jspecify.nullness.*;
-
-public class B {
-    public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun main(
-    aNotNullNotNullNotNull: TypeArgumentsFromParameterBounds<Test, Test, Test>,
-    aNotNullNotNullNull: TypeArgumentsFromParameterBounds<Test, Test, Test?>,
-    aNotNullNullNotNull: TypeArgumentsFromParameterBounds<Test, Test?, Test>,
-    aNotNullNullNull: TypeArgumentsFromParameterBounds<Test, Test?, Test?>,
-    a: A, b: B
-): Unit {
-    a.bar(aNotNullNotNullNotNull)
-    // jspecify_nullness_mismatch
-    a.bar(<!TYPE_MISMATCH!>aNotNullNotNullNull<!>)
-    // jspecify_nullness_mismatch
-    a.bar(<!TYPE_MISMATCH!>aNotNullNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    a.bar(<!TYPE_MISMATCH!>aNotNullNullNull<!>)
-
-    b.bar(aNotNullNotNullNotNull)
-    b.bar(aNotNullNotNullNull)
-    b.bar(aNotNullNullNotNull)
-    b.bar(aNotNullNullNull)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeArgumentsFromParameterBounds.fir.txt

@@ -1,33 +0,0 @@
-package
-
-public fun main(/*0*/ aNotNullNotNullNotNull: TypeArgumentsFromParameterBounds<Test, Test, Test>, /*1*/ aNotNullNotNullNull: TypeArgumentsFromParameterBounds<Test, Test, Test?>, /*2*/ aNotNullNullNotNull: TypeArgumentsFromParameterBounds<Test, Test?, Test>, /*3*/ aNotNullNullNull: TypeArgumentsFromParameterBounds<Test, Test?, Test?>, /*4*/ a: A, /*5*/ b: B): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class A {
-    public constructor A()
-    public open fun bar(/*0*/ a: TypeArgumentsFromParameterBounds<Test, Test, Test>): kotlin.Unit
-    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
-}
-
-public open class B {
-    public constructor B()
-    public open fun bar(/*0*/ a: TypeArgumentsFromParameterBounds<Test, Test!, Test!>!): kotlin.Unit
-    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
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}
-
-@org.jspecify.nullness.NullMarked public open class TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
-    public constructor TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeParameterBounds.fir.kt

@@ -1,46 +0,0 @@
-// JSPECIFY_STATE: strict
-
-// FILE: A.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class A<T> {
-    public void foo(@NullnessUnspecified T t) {}
-    public <E> void bar(E e) {}
-}
-
-// FILE: B.java
-import org.jspecify.nullness.*;
-@NullMarked
-public class B<T> {
-    public void foo(T t) {}
-    public <E> void bar(E e) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-// jspecify_nullness_mismatch, jspecify_nullness_mismatch
-fun <T : Test> main(a1: A<<!UPPER_BOUND_VIOLATED!>Any?<!>>, a2: A<Test>, b1: B<<!UPPER_BOUND_VIOLATED!>Any?<!>>, b2: B<Test>, x: T): Unit {
-    a1.foo(null)
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a1.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a1.bar<T>(x)
-
-    a2.foo(null)
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a2.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    a2.bar<T>(x)
-
-    b1.foo(null)
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    b1.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    b1.bar<T>(x)
-
-    // jspecify_nullness_mismatch
-    b2.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    b2.bar<<!UPPER_BOUND_VIOLATED!>T?<!>>(<!NULL_FOR_NONNULL_TYPE!>null<!>)
-    b2.bar<T>(x)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/TypeParameterBounds.fir.txt

@@ -1,28 +0,0 @@
-package
-
-public fun </*0*/ T : Test> main(/*0*/ a1: A<kotlin.Any?>, /*1*/ a2: A<Test>, /*2*/ b1: B<kotlin.Any?>, /*3*/ b2: B<Test>, /*4*/ x: T): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class A</*0*/ T : kotlin.Any> {
-    public constructor A</*0*/ T : kotlin.Any>()
-    public open fun </*0*/ E : kotlin.Any> bar(/*0*/ e: E): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ @org.jspecify.nullness.NullnessUnspecified t: @org.jspecify.nullness.NullnessUnspecified T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class B</*0*/ T : kotlin.Any> {
-    public constructor B</*0*/ T : kotlin.Any>()
-    public open fun </*0*/ E : kotlin.Any> bar(/*0*/ e: E): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.kt

@@ -1,37 +0,0 @@
-// JSPECIFY_STATE: strict
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: WildcardsWithDefault.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class WildcardsWithDefault {
-    public void noBoundsNotNull(A<?, ?, ?> a) {}
-    public void noBoundsNullable(A<? extends @Nullable Object, ? extends @Nullable Object, ? extends @Nullable Object> a) {}
-}
-
-// FILE: A.java
-import org.jspecify.nullness.*;
-
-public class A <T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
-
-// FILE: main.kt
-fun main(
-            aNotNullNotNullNotNull: A<Any, Any, Any>,
-            aNotNullNotNullNull: A<Any, Any, Any?>,
-            aNotNullNullNotNull: A<Any, Any?, Any>,
-            aNotNullNullNull: A<Any, Any?, Any?>,
-            b: WildcardsWithDefault
-): Unit {
-    b.noBoundsNotNull(aNotNullNotNullNotNull)
-    // jspecify_nullness_mismatch
-    b.noBoundsNotNull(<!TYPE_MISMATCH!>aNotNullNotNullNull<!>)
-    b.noBoundsNotNull(aNotNullNullNotNull)
-    // jspecify_nullness_mismatch
-    b.noBoundsNotNull(<!TYPE_MISMATCH!>aNotNullNullNull<!>)
-
-    b.noBoundsNullable(aNotNullNotNullNotNull)
-    b.noBoundsNullable(aNotNullNotNullNull)
-    b.noBoundsNullable(aNotNullNullNotNull)
-    b.noBoundsNullable(aNotNullNullNull)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/WildcardsWithDefault.fir.txt

@@ -1,19 +0,0 @@
-package
-
-public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit
-
-public open class A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
-    public constructor A</*0*/ T : kotlin.Any!, /*1*/ E, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
-    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
-}
-
-@org.jspecify.nullness.NullMarked public open class WildcardsWithDefault {
-    public constructor WildcardsWithDefault()
-    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 fun noBoundsNotNull(/*0*/ a: A<out kotlin.Any, *, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any>): kotlin.Unit
-    public open fun noBoundsNullable(/*0*/ a: A<out @org.jspecify.nullness.Nullable kotlin.Any?, out @org.jspecify.nullness.Nullable kotlin.Any?, out @org.jspecify.nullness.Nullable kotlin.Any?>): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.kt

@@ -1,89 +0,0 @@
-// JSPECIFY_STATE: warn
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: AnnotatedBoundsOfWildcard.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class AnnotatedBoundsOfWildcard {
-    public void superAsIs(Test<? super Base, ? super @Nullable Base, ? super @NullnessUnspecified Base> a) {}
-    public void superNotNull(Test<? super Base, ? super Base, ? super Base> a) {}
-    public void superNullable(Test<? super @Nullable Base, ? super @Nullable Base, ? super @Nullable Base> a) {}
-
-    public void extendsAsIs(Test<? extends Base, ? extends @Nullable Base, ? extends @NullnessUnspecified Base> a) {}
-    public void extendsNotNull(Test<? extends Base, ? extends Base, ? extends Base> a) {}
-    public void extendsNullable(Test<? extends @Nullable Base, ? extends @Nullable Base, ? extends @Nullable Base> a) {}
-
-    public void noBounds(Test<? extends @NullnessUnspecified Object, ? extends @NullnessUnspecified Object, ? extends @NullnessUnspecified Object> a) {}
-}
-
-// FILE: Base.java
-public class Base {}
-
-// FILE: Derived.java
-public class Derived extends Base {}
-
-// FILE: Test.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class Test<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> { }
-
-// FILE: main.kt
-fun main(
-            aNotNullNotNullNotNull: Test<Derived, Derived, Derived>,
-            aNotNullNotNullNull: Test<Derived, Derived, Derived?>,
-            aNotNullNullNotNull: Test<Derived, Derived?, Derived>,
-            aNotNullNullNull: Test<Derived, Derived?, Derived?>,
-
-            aAnyNotNullNotNullNotNull: Test<Any, Any, Any>,
-            aAnyNotNullNotNullNull: Test<Any, Any, Any?>,
-            aAnyNotNullNullNotNull: Test<Any, Any?, Any>,
-            aAnyNotNullNullNull: Test<Any, Any?, Any?>,
-
-            b: AnnotatedBoundsOfWildcard
-): Unit {
-    // jspecify_nullness_mismatch
-    b.superAsIs(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aAnyNotNullNotNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.superAsIs(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aAnyNotNullNotNullNull<!>)
-    b.superAsIs(aAnyNotNullNullNotNull)
-    b.superAsIs(aAnyNotNullNullNull)
-
-    b.superNotNull(aAnyNotNullNotNullNotNull)
-    b.superNotNull(aAnyNotNullNotNullNull)
-    b.superNotNull(aAnyNotNullNullNotNull)
-    b.superNotNull(aAnyNotNullNullNull)
-
-    // jspecify_nullness_mismatch
-    b.superNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aAnyNotNullNotNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.superNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aAnyNotNullNotNullNull<!>)
-    // jspecify_nullness_mismatch
-    b.superNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aAnyNotNullNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.superNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aAnyNotNullNullNull<!>)
-
-    b.extendsAsIs(aNotNullNotNullNotNull)
-    b.extendsAsIs(aNotNullNotNullNull)
-    b.extendsAsIs(aNotNullNullNotNull)
-    b.extendsAsIs(aNotNullNullNull)
-
-    b.extendsNotNull(aNotNullNotNullNotNull)
-    // jspecify_nullness_mismatch
-    b.extendsNotNull(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNotNullNull<!>)
-    // jspecify_nullness_mismatch
-    b.extendsNotNull(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    b.extendsNotNull(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNullNull<!>)
-
-    b.extendsNullable(aNotNullNotNullNotNull)
-    b.extendsNullable(aNotNullNotNullNull)
-    b.extendsNullable(aNotNullNullNotNull)
-    b.extendsNullable(aNotNullNullNull)
-
-    b.noBounds(aNotNullNotNullNotNull)
-    b.noBounds(aNotNullNotNullNull)
-    b.noBounds(aNotNullNullNotNull)
-    b.noBounds(aNotNullNullNull)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/AnnotatedBoundsOfWildcard.fir.txt

@@ -1,38 +0,0 @@
-package
-
-public fun main(/*0*/ aNotNullNotNullNotNull: Test<Derived, Derived, Derived>, /*1*/ aNotNullNotNullNull: Test<Derived, Derived, Derived?>, /*2*/ aNotNullNullNotNull: Test<Derived, Derived?, Derived>, /*3*/ aNotNullNullNull: Test<Derived, Derived?, Derived?>, /*4*/ aAnyNotNullNotNullNotNull: Test<kotlin.Any, kotlin.Any, kotlin.Any>, /*5*/ aAnyNotNullNotNullNull: Test<kotlin.Any, kotlin.Any, kotlin.Any?>, /*6*/ aAnyNotNullNullNotNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any>, /*7*/ aAnyNotNullNullNull: Test<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*8*/ b: AnnotatedBoundsOfWildcard): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class AnnotatedBoundsOfWildcard {
-    public constructor AnnotatedBoundsOfWildcard()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun extendsAsIs(/*0*/ a: Test<out Base!, out @org.jspecify.nullness.Nullable Base!, out @org.jspecify.nullness.NullnessUnspecified Base!>!): kotlin.Unit
-    public open fun extendsNotNull(/*0*/ a: Test<out Base!, out Base!, out Base!>!): kotlin.Unit
-    public open fun extendsNullable(/*0*/ a: Test<out @org.jspecify.nullness.Nullable Base!, out @org.jspecify.nullness.Nullable Base!, out @org.jspecify.nullness.Nullable Base!>!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open fun noBounds(/*0*/ a: Test<out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!, out @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>!): kotlin.Unit
-    public open fun superAsIs(/*0*/ a: Test<in Base!, in @org.jspecify.nullness.Nullable Base!, in @org.jspecify.nullness.NullnessUnspecified Base!>!): kotlin.Unit
-    public open fun superNotNull(/*0*/ a: Test<in Base!, in Base!, in Base!>!): kotlin.Unit
-    public open fun superNullable(/*0*/ a: Test<in @org.jspecify.nullness.Nullable Base!, in @org.jspecify.nullness.Nullable Base!, in @org.jspecify.nullness.Nullable Base!>!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Base {
-    public constructor Base()
-    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
-}
-
-public open class Derived : Base {
-    public constructor Derived()
-    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
-}
-
-@org.jspecify.nullness.NullMarked public open class Test</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
-    public constructor Test</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Captured.fir.kt

@@ -1,16 +0,0 @@
-// JSPECIFY_STATE: warn
-// FILE: J1.java
-import org.jetbrains.annotations.Nullable;
-
-public interface J1<T> {
-    @Nullable
-    public static <T> T foo(J1<T> x) { return null; }
-}
-
-// FILE: J2.java
-import org.jspecify.nullness.Nullable;
-
-public interface J2<V extends @Nullable Object> extends J1<V> { }
-
-// FILE: kotlin.kt
-private fun J2<*>.bar() = J1.foo(this)

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Captured.fir.txt

@@ -1,18 +0,0 @@
-package
-
-private fun J2<*>.bar(): @org.jspecify.nullness.Nullable kotlin.Any?
-
-public interface J1</*0*/ T : kotlin.Any!> {
-    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
-
-    // Static members
-    @org.jetbrains.annotations.Nullable public open fun </*0*/ T : kotlin.Any!> foo(/*0*/ x: J1<T!>!): @org.jetbrains.annotations.Nullable T?
-}
-
-public interface J2</*0*/ V : @org.jspecify.nullness.Nullable kotlin.Any!> : J1<V!> {
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.kt

@@ -1,50 +0,0 @@
-// JSPECIFY_STATE: warn
-
-// FILE: Defaults.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class Defaults {
-    public Foo defaultField = null;
-    @Nullable public Foo field = null;
-
-    public Foo everythingNotNullable(Foo x) { return null; }
-
-    public @Nullable Foo everythingNullable(@Nullable Foo x) { return null; }
-
-    public @NullnessUnspecified Foo everythingUnknown(@NullnessUnspecified Foo x) { return null; }
-
-    public @Nullable Foo mixed(Foo x) { return null; }
-
-    public Foo explicitlyNullnessUnspecified(@NullnessUnspecified Foo x) { return null; }
-}
-
-// FILE: Foo.java
-public class Foo {
-    public Object foo() { return null; }
-}
-
-// FILE: main.kt
-fun main(a: Defaults, x: Foo): Unit {
-    // jspecify_nullness_mismatch
-    a.everythingNotNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>).foo()
-    a.everythingNotNullable(x).foo()
-
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.everythingNullable(null)<!>.foo()
-
-    a.everythingUnknown(null).foo()
-
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.mixed(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)<!>.foo()
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.mixed(x)<!>.foo()
-
-    a.explicitlyNullnessUnspecified(x).foo()
-    a.explicitlyNullnessUnspecified(null).foo()
-
-    a.defaultField.foo()
-
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.field<!>.foo()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Defaults.fir.txt

@@ -1,25 +0,0 @@
-package
-
-public fun main(/*0*/ a: Defaults, /*1*/ x: Foo): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class Defaults {
-    public constructor Defaults()
-    public final var defaultField: Foo!
-    @org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Foo!
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun everythingNotNullable(/*0*/ x: Foo!): Foo!
-    @org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Foo!): @org.jspecify.nullness.Nullable Foo!
-    @org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): @org.jspecify.nullness.NullnessUnspecified Foo!
-    public open fun explicitlyNullnessUnspecified(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Foo!): Foo!
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    @org.jspecify.nullness.Nullable public open fun mixed(/*0*/ x: Foo!): @org.jspecify.nullness.Nullable Foo!
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Foo {
-    public constructor Foo()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(): kotlin.Any!
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.kt

@@ -1,48 +0,0 @@
-// JSPECIFY_STATE: warn
-
-// FILE: IgnoreAnnotations.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class IgnoreAnnotations {
-    @Nullable public Derived field = null;
-
-    @Nullable
-    public Derived foo(Derived x, @NullnessUnspecified Base y) {
-        return null;
-    }
-
-    public Derived everythingNotNullable(Derived x) { return null; }
-
-    public @Nullable Derived everythingNullable(@Nullable Derived x) { return null; }
-
-    public @NullnessUnspecified Derived everythingUnknown(@NullnessUnspecified Derived x) { return null; }
-}
-
-// FILE: Base.java
-public class Base {
-    void foo() {}
-}
-
-// FILE: Derived.java
-public class Derived extends Base { }
-
-// FILE: main.kt
-fun main(a: IgnoreAnnotations, x: Derived): Unit {
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.foo(x, null)<!>.foo()
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>, x)<!>.foo()
-
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.field<!>.foo()
-
-    // jspecify_nullness_mismatch
-    a.everythingNotNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>).foo()
-    a.everythingNotNullable(x).foo()
-
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.everythingNullable(null)<!>.foo()
-
-    a.everythingUnknown(null).foo()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/IgnoreAnnotations.fir.txt

@@ -1,31 +0,0 @@
-package
-
-public fun main(/*0*/ a: IgnoreAnnotations, /*1*/ x: Derived): kotlin.Unit
-
-public open class Base {
-    public constructor Base()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open fun foo(): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Derived : Base {
-    public constructor Derived()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open override /*1*/ /*fake_override*/ fun foo(): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class IgnoreAnnotations {
-    public constructor IgnoreAnnotations()
-    @org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived!
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun everythingNotNullable(/*0*/ x: Derived!): Derived!
-    @org.jspecify.nullness.Nullable public open fun everythingNullable(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable Derived!): @org.jspecify.nullness.Nullable Derived!
-    @org.jspecify.nullness.NullnessUnspecified public open fun everythingUnknown(/*0*/ @org.jspecify.nullness.NullnessUnspecified x: @org.jspecify.nullness.NullnessUnspecified Derived!): @org.jspecify.nullness.NullnessUnspecified Derived!
-    @org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived!, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived!
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.kt

@@ -1,30 +0,0 @@
-// JSPECIFY_STATE: warn
-// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: NonPlatformTypeParameter.java
-import org.jspecify.nullness.*;
-
-public class NonPlatformTypeParameter<T extends @Nullable Object> {
-    public void foo(T t) {}
-    public <E extends @Nullable Object> void bar(E e) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun <T : Test> main(a1: NonPlatformTypeParameter<Any?>, a2: NonPlatformTypeParameter<Test>, x: T): Unit {
-    a1.foo(null)
-    a1.bar<Test?>(null)
-    // jspecify_nullness_mismatch
-    a1.bar<T>(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a1.bar<T>(x)
-
-    // jspecify_nullness_mismatch
-    a2.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a2.bar<Test?>(null)
-    // jspecify_nullness_mismatch
-    a2.bar<T>(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a2.bar<T>(x)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NonPlatformTypeParameter.fir.txt

@@ -1,19 +0,0 @@
-package
-
-public fun </*0*/ T : Test> main(/*0*/ a1: NonPlatformTypeParameter<kotlin.Any?>, /*1*/ a2: NonPlatformTypeParameter<Test>, /*2*/ x: T): kotlin.Unit
-
-public open class NonPlatformTypeParameter</*0*/ T : @org.jspecify.nullness.Nullable kotlin.Any!> {
-    public constructor NonPlatformTypeParameter</*0*/ T : @org.jspecify.nullness.Nullable kotlin.Any!>()
-    public open fun </*0*/ E : @org.jspecify.nullness.Nullable kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.kt

@@ -1,36 +0,0 @@
-// JSPECIFY_STATE: warn
-// FILE: NullnessUnspecifiedTypeParameter.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class NullnessUnspecifiedTypeParameter<T> {
-    public void foo(T t) {}
-
-    public void bar(Test s, T t) {} // t should not become not nullable
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun main(a1: NullnessUnspecifiedTypeParameter<Any>, a2: NullnessUnspecifiedTypeParameter<Any?>, x: Test): Unit {
-    // jspecify_nullness_mismatch
-    a1.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a1.foo(1)
-
-    // jspecify_nullness_mismatch
-    a2.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a2.foo(1)
-
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a1.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>, <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    // jspecify_nullness_mismatch
-    a1.bar(x, <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a1.bar(x, 1)
-
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    a2.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>, <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    // jspecify_nullness_mismatch
-    a2.bar(x, <!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a2.bar(x, 1)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/NullnessUnspecifiedTypeParameter.fir.txt

@@ -1,19 +0,0 @@
-package
-
-public fun main(/*0*/ a1: NullnessUnspecifiedTypeParameter<kotlin.Any>, /*1*/ a2: NullnessUnspecifiedTypeParameter<kotlin.Any?>, /*2*/ x: Test): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!> {
-    public constructor NullnessUnspecifiedTypeParameter</*0*/ T : kotlin.Any!>()
-    public open fun bar(/*0*/ s: Test!, /*1*/ t: T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.kt

@@ -1,59 +0,0 @@
-// JSPECIFY_STATE: warn
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: SelfType.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class SelfType<T extends SelfType<T>> {
-    public void foo(T t) {}
-}
-
-// FILE: B.java
-public class B extends SelfType<B> {}
-
-// FILE: C.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class C<E extends C<E>> extends SelfType<E> {}
-
-// FILE: AK.java
-public class AK extends SelfType<AK> {}
-
-// FILE: AKN.java
-import org.jspecify.nullness.*;
-
-public class AKN extends SelfType<@Nullable AK> {}
-
-// FILE: BK.java
-public class BK extends B {}
-
-// FILE: CK.java
-public class CK extends C<CK> {}
-
-// FILE: CKN.java
-import org.jspecify.nullness.*;
-
-public class CKN extends C<@Nullable CK> {}
-
-// FILE: main.kt
-fun main(ak: AK, akn: AKN, bk: BK, ck: CK, ckn: CKN): Unit {
-    ak.foo(ak)
-    // jspecify_nullness_mismatch
-    ak.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-
-    // jspecify_nullness_mismatch
-    akn.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-
-    bk.foo(bk)
-    // jspecify_nullness_mismatch
-    bk.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-
-    ck.foo(ck)
-    // jspecify_nullness_mismatch
-    ck.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-
-    // jspecify_nullness_mismatch
-    ckn.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/SelfType.fir.txt

@@ -1,67 +0,0 @@
-package
-
-public fun main(/*0*/ ak: AK, /*1*/ akn: AKN, /*2*/ bk: BK, /*3*/ ck: CK, /*4*/ ckn: CKN): kotlin.Unit
-
-public open class AK : SelfType<AK!> {
-    public constructor AK()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: AK!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class AKN : SelfType<@org.jspecify.nullness.Nullable AK!> {
-    public constructor AKN()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable AK!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class B : SelfType<B!> {
-    public constructor B()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class BK : B {
-    public constructor BK()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: B!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class C</*0*/ E : C<E!>!> : SelfType<E!> {
-    public constructor C</*0*/ E : C<E!>!>()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class CK : C<CK!> {
-    public constructor CK()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: CK!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class CKN : C<@org.jspecify.nullness.Nullable CK!> {
-    public constructor CKN()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open override /*1*/ /*fake_override*/ fun foo(/*0*/ t: @org.jspecify.nullness.Nullable CK!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class SelfType</*0*/ T : SelfType<T!>!> {
-    public constructor SelfType</*0*/ T : SelfType<T!>!>()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.kt

@@ -1,39 +0,0 @@
-// JSPECIFY_STATE: warn
-
-// FILE: Simple.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class Simple {
-    @Nullable public Derived field = null;
-
-    @Nullable
-    public Derived foo(Derived x, @NullnessUnspecified Base y) {
-        return null;
-    }
-
-    public Derived bar() {
-        return null;
-    }
-}
-
-// FILE: Base.java
-public class Base {}
-
-// FILE: Derived.java
-public class Derived extends Base {
-    void foo() {}
-}
-
-// FILE: main.kt
-fun main(a: Simple, x: Derived): Unit {
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.foo(x, null)<!>.foo()
-    // jspecify_nullness_mismatch, jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>, x)<!>.foo()
-
-    a.bar().foo()
-
-    // jspecify_nullness_mismatch
-    <!RECEIVER_NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.field<!>.foo()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/Simple.fir.txt

@@ -1,28 +0,0 @@
-package
-
-public fun main(/*0*/ a: Simple, /*1*/ x: Derived): kotlin.Unit
-
-public open class Base {
-    public constructor Base()
-    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
-}
-
-public open class Derived : Base {
-    public constructor Derived()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open fun foo(): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class Simple {
-    public constructor Simple()
-    @org.jspecify.nullness.Nullable public final var field: @org.jspecify.nullness.Nullable Derived!
-    public open fun bar(): Derived!
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    @org.jspecify.nullness.Nullable public open fun foo(/*0*/ x: Derived!, /*1*/ @org.jspecify.nullness.NullnessUnspecified y: @org.jspecify.nullness.NullnessUnspecified Base!): @org.jspecify.nullness.Nullable Derived!
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.kt

@@ -1,48 +0,0 @@
-// JSPECIFY_STATE: warn
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: TypeArgumentsFromParameterBounds.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class TypeArgumentsFromParameterBounds<T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
-
-// FILE: A.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class A {
-    public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
-}
-
-// FILE: B.java
-import org.jspecify.nullness.*;
-
-public class B {
-    public void bar(TypeArgumentsFromParameterBounds<Test, Test, Test> a) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun main(
-    aNotNullNotNullNotNull: TypeArgumentsFromParameterBounds<Test, Test, Test>,
-    aNotNullNotNullNull: TypeArgumentsFromParameterBounds<Test, Test, Test?>,
-    aNotNullNullNotNull: TypeArgumentsFromParameterBounds<Test, Test?, Test>,
-    aNotNullNullNull: TypeArgumentsFromParameterBounds<Test, Test?, Test?>,
-    a: A, b: B
-): Unit {
-    a.bar(aNotNullNotNullNotNull)
-    // jspecify_nullness_mismatch
-    a.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNotNullNull<!>)
-    // jspecify_nullness_mismatch
-    a.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNullNotNull<!>)
-    // jspecify_nullness_mismatch
-    a.bar(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNullNull<!>)
-
-    b.bar(aNotNullNotNullNotNull)
-    b.bar(aNotNullNotNullNull)
-    b.bar(aNotNullNullNotNull)
-    b.bar(aNotNullNullNull)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeArgumentsFromParameterBounds.fir.txt

@@ -1,33 +0,0 @@
-package
-
-public fun main(/*0*/ aNotNullNotNullNotNull: TypeArgumentsFromParameterBounds<Test, Test, Test>, /*1*/ aNotNullNotNullNull: TypeArgumentsFromParameterBounds<Test, Test, Test?>, /*2*/ aNotNullNullNotNull: TypeArgumentsFromParameterBounds<Test, Test?, Test>, /*3*/ aNotNullNullNull: TypeArgumentsFromParameterBounds<Test, Test?, Test?>, /*4*/ a: A, /*5*/ b: B): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class A {
-    public constructor A()
-    public open fun bar(/*0*/ a: TypeArgumentsFromParameterBounds<Test!, Test!, Test!>!): kotlin.Unit
-    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
-}
-
-public open class B {
-    public constructor B()
-    public open fun bar(/*0*/ a: TypeArgumentsFromParameterBounds<Test!, Test!, Test!>!): kotlin.Unit
-    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
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}
-
-@org.jspecify.nullness.NullMarked public open class TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
-    public constructor TypeArgumentsFromParameterBounds</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.kt

@@ -1,45 +0,0 @@
-// JSPECIFY_STATE: warn
-// FILE: A.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class A<T> {
-    public void foo(@NullnessUnspecified T t) {}
-    public <E> void bar(E e) {}
-}
-
-// FILE: B.java
-import org.jspecify.nullness.*;
-@NullMarked
-public class B<T> {
-    public void foo(T t) {}
-    public <E> void bar(E e) {}
-}
-
-// FILE: Test.java
-public class Test {}
-
-// FILE: main.kt
-fun <T : Test> main(a1: A<Any?>, a2: A<Test>, b1: B<Any?>, b2: B<Test>, x: T): Unit {
-    a1.foo(null)
-    // jspecify_nullness_mismatch
-    a1.bar<T?>(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a1.bar<T>(x)
-
-    a2.foo(null)
-    // jspecify_nullness_mismatch
-    a2.bar<T?>(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    a2.bar<T>(x)
-
-    // jspecify_nullness_mismatch
-    b1.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    // jspecify_nullness_mismatch
-    b1.bar<T?>(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    b1.bar<T>(x)
-
-    // jspecify_nullness_mismatch
-    b2.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    // jspecify_nullness_mismatch
-    b2.bar<T?>(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
-    b2.bar<T>(x)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/TypeParameterBounds.fir.txt

@@ -1,28 +0,0 @@
-package
-
-public fun </*0*/ T : Test> main(/*0*/ a1: A<kotlin.Any?>, /*1*/ a2: A<Test>, /*2*/ b1: B<kotlin.Any?>, /*3*/ b2: B<Test>, /*4*/ x: T): kotlin.Unit
-
-@org.jspecify.nullness.NullMarked public open class A</*0*/ T : kotlin.Any!> {
-    public constructor A</*0*/ T : kotlin.Any!>()
-    public open fun </*0*/ E : kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ @org.jspecify.nullness.NullnessUnspecified t: @org.jspecify.nullness.NullnessUnspecified T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-@org.jspecify.nullness.NullMarked public open class B</*0*/ T : kotlin.Any!> {
-    public constructor B</*0*/ T : kotlin.Any!>()
-    public open fun </*0*/ E : kotlin.Any!> bar(/*0*/ e: E!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public open fun foo(/*0*/ t: T!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class Test {
-    public constructor Test()
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.kt

@@ -1,37 +0,0 @@
-// JSPECIFY_STATE: warn
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: WildcardsWithDefault.java
-import org.jspecify.nullness.*;
-
-@NullMarked
-public class WildcardsWithDefault {
-    public void noBoundsNotNull(A<?, ?, ?> a) {}
-    public void noBoundsNullable(A<? extends @Nullable Object, ? extends @Nullable Object, ? extends @Nullable Object> a) {}
-}
-
-// FILE: A.java
-import org.jspecify.nullness.*;
-
-public class A <T extends Object, E extends @Nullable Object, F extends @NullnessUnspecified Object> {}
-
-// FILE: main.kt
-fun main(
-            aNotNullNotNullNotNull: A<Any, Any, Any>,
-            aNotNullNotNullNull: A<Any, Any, Any?>,
-            aNotNullNullNotNull: A<Any, Any?, Any>,
-            aNotNullNullNull: A<Any, Any?, Any?>,
-            b: WildcardsWithDefault
-): Unit {
-    b.noBoundsNotNull(aNotNullNotNullNotNull)
-    // jspecify_nullness_mismatch
-    b.noBoundsNotNull(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNotNullNull<!>)
-    b.noBoundsNotNull(aNotNullNullNotNull)
-    // jspecify_nullness_mismatch
-    b.noBoundsNotNull(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>aNotNullNullNull<!>)
-
-    b.noBoundsNullable(aNotNullNotNullNotNull)
-    b.noBoundsNullable(aNotNullNotNullNull)
-    b.noBoundsNullable(aNotNullNullNotNull)
-    b.noBoundsNullable(aNotNullNullNull)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/warnMode/WildcardsWithDefault.fir.txt

@@ -1,19 +0,0 @@
-package
-
-public fun main(/*0*/ aNotNullNotNullNotNull: A<kotlin.Any, kotlin.Any, kotlin.Any>, /*1*/ aNotNullNotNullNull: A<kotlin.Any, kotlin.Any, kotlin.Any?>, /*2*/ aNotNullNullNotNull: A<kotlin.Any, kotlin.Any?, kotlin.Any>, /*3*/ aNotNullNullNull: A<kotlin.Any, kotlin.Any?, kotlin.Any?>, /*4*/ b: WildcardsWithDefault): kotlin.Unit
-
-public open class A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!> {
-    public constructor A</*0*/ T : kotlin.Any!, /*1*/ E : @org.jspecify.nullness.Nullable kotlin.Any!, /*2*/ F : @org.jspecify.nullness.NullnessUnspecified kotlin.Any!>()
-    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
-}
-
-@org.jspecify.nullness.NullMarked public open class WildcardsWithDefault {
-    public constructor WildcardsWithDefault()
-    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 fun noBoundsNotNull(/*0*/ a: A<*, *, *>!): kotlin.Unit
-    public open fun noBoundsNullable(/*0*/ a: A<out @org.jspecify.nullness.Nullable kotlin.Any!, out @org.jspecify.nullness.Nullable kotlin.Any!, out @org.jspecify.nullness.Nullable kotlin.Any!>!): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/annotatedTypeArguments.fir.kt

@@ -1,38 +0,0 @@
-// JAVAC_EXPECTED_FILE
-// FILE: AnnotatedTypeArguments.java
-import org.checkerframework.checker.nullness.qual.*;
-
-interface P<X, Y> {}
-interface L<T> {}
-interface S<T> {}
-
-class AnnotatedTypeArguments {
-
-    class A {
-        L<P<L<String>, S<?>>> foo(L<P<L<String>, S<?>>> x) {return null;}
-    }
-
-    class B extends A {
-        // some complicated type tree
-        // return type and argument's type differ only by nullability of outermost type
-        @Nullable
-        L<P<@NonNull L<@Nullable String>, @NonNull S<?>>> foo(@NonNull L<P<@NonNull L<@Nullable String>, @NonNull S<?>>> x) {return null;}
-    }
-
-    class C extends B {
-        // signature should be the same as in A
-        L<P<L<String>, S<?>>> foo(L<P<L<String>, S<?>>> x) {return null;}
-    }
-
-    class D1 extends C {
-        // signature should be the same as in A, but annotated String-type should be platform
-        L<P<L<@NonNull String>, S<?>>> foo(L<P<L<@NonNull String>, S<?>>> x) {return null;}
-    }
-
-    class D2 extends C {
-        // return type refined to not-nullable
-        // argument type here same as in A except outermost type (it becomes flexible because of conflict)
-        @NonNull
-        L<P<L<String>, S<?>>> foo(@Nullable L<P<L<String>, S<?>>> x) {return null;}
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/annotatedTypeArguments.fir.txt

@@ -1,48 +0,0 @@
-package
-
-public/*package*/ open class AnnotatedTypeArguments {
-    public/*package*/ constructor AnnotatedTypeArguments()
-    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
-
-    public/*package*/ open inner class A {
-        public/*package*/ constructor A()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        public/*package*/ open fun foo(/*0*/ x: L<P<L<kotlin.String!>!, S<*>!>!>!): L<P<L<kotlin.String!>!, S<*>!>!>!
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class B : AnnotatedTypeArguments.A {
-        public/*package*/ constructor B()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @org.checkerframework.checker.nullness.qual.Nullable public/*package*/ open override /*1*/ fun foo(/*0*/ @org.checkerframework.checker.nullness.qual.NonNull x: @org.checkerframework.checker.nullness.qual.NonNull L<P<@org.checkerframework.checker.nullness.qual.NonNull L<@org.checkerframework.checker.nullness.qual.Nullable kotlin.String?>, @org.checkerframework.checker.nullness.qual.NonNull S<*>>!>): @org.checkerframework.checker.nullness.qual.Nullable L<P<@org.checkerframework.checker.nullness.qual.NonNull L<@org.checkerframework.checker.nullness.qual.Nullable kotlin.String?>, @org.checkerframework.checker.nullness.qual.NonNull S<*>>!>?
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class C : AnnotatedTypeArguments.B {
-        public/*package*/ constructor C()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        public/*package*/ open override /*1*/ fun foo(/*0*/ x: L<P<L<kotlin.String?>, S<*>>!>): L<P<L<kotlin.String?>, S<*>>!>?
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class D1 : AnnotatedTypeArguments.C {
-        public/*package*/ constructor D1()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        public/*package*/ open override /*1*/ fun foo(/*0*/ x: L<P<L<@org.checkerframework.checker.nullness.qual.NonNull kotlin.String!>, S<*>>!>): L<P<L<@org.checkerframework.checker.nullness.qual.NonNull kotlin.String!>, S<*>>!>?
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class D2 : AnnotatedTypeArguments.C {
-        public/*package*/ constructor D2()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun foo(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable x: @org.checkerframework.checker.nullness.qual.Nullable L<P<L<kotlin.String?>, S<*>>!>!): @org.checkerframework.checker.nullness.qual.NonNull L<P<L<kotlin.String?>, S<*>>!>
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/classTypeParameterBound.fir.kt

@@ -1,25 +0,0 @@
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
-// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE
-// SKIP_TXT
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: ClassTypeParameterBound.java
-
-import org.jetbrains.annotations.NotNull;
-
-public class ClassTypeParameterBound <T extends @NotNull String> {
-    ClassTypeParameterBound(T x) { }
-    ClassTypeParameterBound() { }
-}
-
-// FILE: main.kt
-fun main(x: ClassTypeParameterBound<<!UPPER_BOUND_VIOLATED!>String?<!>>, y: ClassTypeParameterBound<String>, a: String?, b: String) {
-    val x2 = ClassTypeParameterBound<<!UPPER_BOUND_VIOLATED!>String?<!>>()
-    val y2 = ClassTypeParameterBound<String>()
-
-    val x3 = ClassTypeParameterBound(<!TYPE_MISMATCH!>a<!>)
-    val y3 = ClassTypeParameterBound(b)
-
-    val x4: ClassTypeParameterBound<<!UPPER_BOUND_VIOLATED!>String?<!>> = <!TYPE_MISMATCH!>ClassTypeParameterBound()<!>
-    val y4: ClassTypeParameterBound<String> = ClassTypeParameterBound()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/classTypeParameterBoundWithWarnings.fir.kt

@@ -1,25 +0,0 @@
-// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated, -TypeEnhancementImprovementsInStrictMode
-// !DIAGNOSTICS: -UNUSED_PARAMETER -UNUSED_VARIABLE
-// SKIP_TXT
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: ClassTypeParameterBoundWithWarnings.java
-
-import org.jetbrains.annotations.NotNull;
-
-public class ClassTypeParameterBoundWithWarnings <T extends @NotNull String> {
-    ClassTypeParameterBoundWithWarnings() { }
-    ClassTypeParameterBoundWithWarnings(T x) { }
-}
-
-// FILE: main.kt
-fun main(x: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>>, y: ClassTypeParameterBoundWithWarnings<String>, a: String?, b: String) {
-    val x2 = ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>>()
-    val y2 = ClassTypeParameterBoundWithWarnings<String>()
-
-    val x3 = ClassTypeParameterBoundWithWarnings(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a<!>)
-    val y3 = ClassTypeParameterBoundWithWarnings(b)
-
-    val x4: ClassTypeParameterBoundWithWarnings<<!UPPER_BOUND_VIOLATED_BASED_ON_JAVA_ANNOTATIONS!>String?<!>> = ClassTypeParameterBoundWithWarnings()
-    val y4: ClassTypeParameterBoundWithWarnings<String> = ClassTypeParameterBoundWithWarnings()
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/enhancedRecursiveStarProjection.fir.kt

@@ -1,11 +0,0 @@
-// SKIP_TXT
-// FILE: I1.java
-import org.checkerframework.checker.nullness.qual.NonNull;
-
-public interface I1<@NonNull T> { }
-
-// FILE: I2.java
-public interface I2<T extends I1<T>> { }
-
-// FILE: main.kt
-fun foo(): I2<*> = TODO()

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/methodWithTypeParameter.fir.kt

@@ -1,54 +0,0 @@
-// JAVAC_EXPECTED_FILE
-// FILE: Outer.java
-import org.checkerframework.checker.nullness.qual.*;
-
-interface X<T> {}
-interface Y<T> {}
-
-class Outer {
-    class A {
-        <K, V> V foo(K x) { return null; }
-
-        <T> X<T> bar(Y<T> x) { return null; }
-    }
-
-    class B extends A {
-        // OK, non-platform types
-        @Override
-        @NonNull
-        <T1, T2> T2 foo(@Nullable T1 x) { return null; }
-
-        // Parameter type is fully non-flexible (OK)
-        // Return type is `X<R!>?`.
-        // The reason is that we do not treat it as equal to return type of A.bar because they are base on different type parameters,
-        // so type enhancing happens only for outermost type.
-        // TODO: We should properly compare equality with specific local equality axioms (as when calculating overriden descriptors)
-        @Override
-        @Nullable
-        <R> X<@Nullable R> bar(@NonNull Y<@NonNull R> x) { return null; }
-    }
-
-    class C extends B {
-        // OK, non-platform types
-        @Override
-        <I, J> J foo(I x) { return null; }
-
-        // Parameter type is fully non-flexible (OK)
-        // Return type is `X<R!>?`, same is in B
-        @Override
-        <E> X<E> bar(Y<E> x) { return null; }
-    }
-
-    class D extends C {
-        // Return type is not-nullable, covariantly overridden, OK
-        // Parameter type is flexible, because of conflict with supertype, OK
-        @Override
-        @NonNull
-        <U, W> W foo(@Nullable U x) { return null; }
-
-
-        @Override
-        @NonNull
-        <F> X<@NonNull F> bar(@Nullable Y<@Nullable F> x) { return null; }
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/methodWithTypeParameter.fir.txt

@@ -1,44 +0,0 @@
-package
-
-public/*package*/ open class Outer {
-    public/*package*/ constructor Outer()
-    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
-
-    public/*package*/ open inner class A {
-        public/*package*/ constructor A()
-        public/*package*/ open fun </*0*/ T : kotlin.Any!> bar(/*0*/ x: Y<T!>!): X<T!>!
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        public/*package*/ open fun </*0*/ K : kotlin.Any!, /*1*/ V : kotlin.Any!> foo(/*0*/ x: K!): V!
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class B : Outer.A {
-        public/*package*/ constructor B()
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.Nullable public/*package*/ open override /*1*/ fun </*0*/ R : kotlin.Any!> bar(/*0*/ @org.checkerframework.checker.nullness.qual.NonNull x: @org.checkerframework.checker.nullness.qual.NonNull Y<@org.checkerframework.checker.nullness.qual.NonNull R!!>): @org.checkerframework.checker.nullness.qual.Nullable X<@org.checkerframework.checker.nullness.qual.Nullable R!>?
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun </*0*/ T1 : kotlin.Any!, /*1*/ T2 : kotlin.Any!> foo(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable x: @org.checkerframework.checker.nullness.qual.Nullable T1?): @org.checkerframework.checker.nullness.qual.NonNull T2!!
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class C : Outer.B {
-        public/*package*/ constructor C()
-        @java.lang.Override public/*package*/ open override /*1*/ fun </*0*/ E : kotlin.Any!> bar(/*0*/ x: Y<E!!>): X<E!>?
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override public/*package*/ open override /*1*/ fun </*0*/ I : kotlin.Any!, /*1*/ J : kotlin.Any!> foo(/*0*/ x: I?): J!!
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class D : Outer.C {
-        public/*package*/ constructor D()
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun </*0*/ F : kotlin.Any!> bar(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable x: @org.checkerframework.checker.nullness.qual.Nullable Y<@org.checkerframework.checker.nullness.qual.Nullable F!>!): @org.checkerframework.checker.nullness.qual.NonNull X<@org.checkerframework.checker.nullness.qual.NonNull F!>
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun </*0*/ U : kotlin.Any!, /*1*/ W : kotlin.Any!> foo(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable x: @org.checkerframework.checker.nullness.qual.Nullable U?): @org.checkerframework.checker.nullness.qual.NonNull W!!
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/notNullVarargsOverrides.fir.kt

@@ -1,21 +0,0 @@
-// SOURCE_RETENTION_ANNOTATIONS
-// FILE: BaseClass.java
-import org.checkerframework.checker.nullness.qual.*;
-
-public class BaseClass {
-    public void loadCache(@NonNull Object... args) {}
-}
-
-// FILE: main.kt
-class A : BaseClass() {
-    // org.checkerframework.checker.nullness.qual.NonNull has @Target TYPE_USE, so it affects only elements type
-    <!NOTHING_TO_OVERRIDE!>override<!> fun loadCache(vararg args: Any?) {
-        super.loadCache(*<!TYPE_MISMATCH!>args<!>)
-    }
-}
-
-class B : BaseClass() {
-    override fun loadCache(vararg args: Any) {
-        super.loadCache(*args)
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/notNullVarargsOverrides.fir.txt

@@ -1,26 +0,0 @@
-package
-
-public final class A : BaseClass {
-    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 loadCache(/*0*/ @org.checkerframework.checker.nullness.qual.NonNull vararg args: @org.checkerframework.checker.nullness.qual.NonNull kotlin.Any /*kotlin.Array<(out) @org.checkerframework.checker.nullness.qual.NonNull kotlin.Any>!*/): kotlin.Unit
-    public open fun loadCache(/*0*/ vararg args: kotlin.Any? /*kotlin.Array<out kotlin.Any?>*/): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public final class B : BaseClass {
-    public constructor B()
-    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*/ fun loadCache(/*0*/ vararg args: kotlin.Any /*kotlin.Array<out kotlin.Any>*/): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class BaseClass {
-    public constructor BaseClass()
-    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 fun loadCache(/*0*/ @org.checkerframework.checker.nullness.qual.NonNull vararg args: @org.checkerframework.checker.nullness.qual.NonNull kotlin.Any /*kotlin.Array<(out) @org.checkerframework.checker.nullness.qual.NonNull kotlin.Any>!*/): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/nullableVarargsOverrides.fir.kt

@@ -1,21 +0,0 @@
-// SOURCE_RETENTION_ANNOTATIONS
-// FILE: BaseClass.java
-import org.checkerframework.checker.nullness.qual.*;
-
-public class BaseClass {
-    public void loadCache(@Nullable Object... args) {}
-}
-
-// FILE: main.kt
-class A : BaseClass() {
-    override fun loadCache(vararg args: Any?) {
-        super.loadCache(*args)
-    }
-}
-
-class B : BaseClass() {
-    // org.checkerframework.checker.nullness.qual.Nullable has @Target TYPE_USE, so it affects only elements type
-    <!NOTHING_TO_OVERRIDE!>override<!> fun loadCache(vararg args: Any) {
-        super.loadCache(*args)
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/nullableVarargsOverrides.fir.txt

@@ -1,26 +0,0 @@
-package
-
-public final class A : BaseClass {
-    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*/ fun loadCache(/*0*/ vararg args: kotlin.Any? /*kotlin.Array<out kotlin.Any?>*/): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public final class B : BaseClass {
-    public constructor B()
-    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 loadCache(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable vararg args: @org.checkerframework.checker.nullness.qual.Nullable kotlin.Any? /*kotlin.Array<(out) @org.checkerframework.checker.nullness.qual.Nullable kotlin.Any?>!*/): kotlin.Unit
-    public open fun loadCache(/*0*/ vararg args: kotlin.Any /*kotlin.Array<out kotlin.Any>*/): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public open class BaseClass {
-    public constructor BaseClass()
-    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 fun loadCache(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable vararg args: @org.checkerframework.checker.nullness.qual.Nullable kotlin.Any? /*kotlin.Array<(out) @org.checkerframework.checker.nullness.qual.Nullable kotlin.Any?>!*/): kotlin.Unit
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/returnType.fir.kt

@@ -1,65 +0,0 @@
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
-// !DIAGNOSTICS: -UNUSED_PARAMETER
-// SKIP_TXT
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: ReturnType.java
-
-import org.jetbrains.annotations.*;
-
-public class ReturnType<T> {
-    public interface A<T1, T2> {}
-
-    public A<@Nullable String, @Nullable T> foo1() { return null; }
-    public A<@Nullable String, @NotNull T> foo2() { return null; }
-    public A<@NotNull String, @NotNull T> foo3 = null;
-    public @NotNull T [] foo4 = null;
-    public ReturnType<@Nullable String> foo41 = null;
-    public T foo411 = null;
-    public @Nullable String [] foo5() { return null; }
-}
-
-// FILE: main.kt
-fun <K> takeNotNullStringAndKNullable(x: ReturnType.A<String, K?>) {}
-fun <K> takeNullableStringAndKNullable(x: ReturnType.A<String?, K?>) {}
-fun <K: Any> takeNotNullStringAndNotNullK(x: ReturnType.A<String, K>) {}
-fun <K: Any> takeNullableStringAndNotNullK(x: ReturnType.A<String?, K>) {}
-fun takeNotNullString(x: String) {}
-
-fun takeArrayOfNotNullString(x: Array<String>) {}
-fun takeArrayOfNullableString(x: Array<String?>) {}
-fun <K: Any> takeArrayOfNotNullK(x: Array<K>) {}
-fun <K> takeArrayOfNullableK(x: Array<K?>) {}
-
-fun <R> main(a: ReturnType<R>) {
-    val x1 = a.foo1()
-    takeNotNullStringAndKNullable(<!TYPE_MISMATCH!>x1<!>)
-    takeNullableStringAndKNullable(x1)
-    takeNotNullStringAndNotNullK(<!TYPE_MISMATCH!>x1<!>)
-    takeNullableStringAndNotNullK(<!TYPE_MISMATCH!>x1<!>)
-    takeNotNullString(<!TYPE_MISMATCH!>a.foo41.foo411<!>)
-
-    val x2 = a.foo2()
-    takeNotNullStringAndKNullable(<!TYPE_MISMATCH!>x2<!>)
-    takeNullableStringAndKNullable(<!TYPE_MISMATCH!>x2<!>)
-    takeNotNullStringAndNotNullK(<!TYPE_MISMATCH!>x2<!>)
-    takeNullableStringAndNotNullK(x2)
-
-    val x3 = a.foo3
-    takeNotNullStringAndKNullable(<!TYPE_MISMATCH!>x3<!>)
-    takeNullableStringAndKNullable(<!TYPE_MISMATCH!>x3<!>)
-    takeNotNullStringAndNotNullK(x3)
-    takeNullableStringAndNotNullK(<!TYPE_MISMATCH!>x3<!>)
-
-    val x4 = a.foo4
-    takeArrayOfNotNullString(<!TYPE_MISMATCH!>x4<!>)
-    takeArrayOfNullableString(<!TYPE_MISMATCH!>x4<!>)
-    takeArrayOfNotNullK(x4)
-    takeArrayOfNullableK(<!TYPE_MISMATCH!>x4<!>)
-
-    val x5 = a.foo5()
-    takeArrayOfNotNullString(<!TYPE_MISMATCH!>x5<!>)
-    takeArrayOfNullableString(x5)
-    takeArrayOfNotNullK(<!TYPE_MISMATCH!>x5<!>)
-    takeArrayOfNullableK(x5)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/returnTypeDifferentConstructor.fir.kt

@@ -1,37 +0,0 @@
-// JAVAC_EXPECTED_FILE
-// FILE: Outer.java
-import org.checkerframework.checker.nullness.qual.*;
-
-interface Base<T> {}
-interface Derived<E> extends Base<E> {}
-
-class Outer {
-    class A {
-        @Nullable Base<@NonNull String> foo() { return null; }
-    }
-
-    class B extends A {
-        @Override
-        Base<String> foo() { return null; }
-    }
-
-    class C extends A {
-        @Override
-        @NonNull Base<String> foo() { return null; }
-    }
-
-    class D extends A {
-        @Override
-        Derived<String> foo() { return null; }
-    }
-
-    class E extends A {
-        @Override
-        @NonNull Derived<String> foo() { return null; }
-    }
-
-    class F extends A {
-        @Override
-        @NonNull Derived<@NonNull String> foo() { return null; }
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/returnTypeDifferentConstructor.fir.txt

@@ -1,56 +0,0 @@
-package
-
-public/*package*/ open class Outer {
-    public/*package*/ constructor Outer()
-    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
-
-    public/*package*/ open inner class A {
-        public/*package*/ constructor A()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @org.checkerframework.checker.nullness.qual.Nullable public/*package*/ open fun foo(): @org.checkerframework.checker.nullness.qual.Nullable Base<@org.checkerframework.checker.nullness.qual.NonNull kotlin.String>?
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class B : Outer.A {
-        public/*package*/ constructor B()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override public/*package*/ open override /*1*/ fun foo(): Base<kotlin.String>?
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class C : Outer.A {
-        public/*package*/ constructor C()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun foo(): @org.checkerframework.checker.nullness.qual.NonNull Base<kotlin.String>
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class D : Outer.A {
-        public/*package*/ constructor D()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override public/*package*/ open override /*1*/ fun foo(): Derived<kotlin.String!>?
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class E : Outer.A {
-        public/*package*/ constructor E()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun foo(): @org.checkerframework.checker.nullness.qual.NonNull Derived<kotlin.String!>
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-
-    public/*package*/ open inner class F : Outer.A {
-        public/*package*/ constructor F()
-        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-        @java.lang.Override @org.checkerframework.checker.nullness.qual.NonNull public/*package*/ open override /*1*/ fun foo(): @org.checkerframework.checker.nullness.qual.NonNull Derived<@org.checkerframework.checker.nullness.qual.NonNull kotlin.String!>
-        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-    }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/returnTypeOverrideInKotlin.fir.kt

@@ -1,31 +0,0 @@
-// SOURCE_RETENTION_ANNOTATIONS
-// FILE: Base.java
-public interface Base<T> {}
-// FILE: A.java
-import org.checkerframework.checker.nullness.qual.*;
-
-public class A {
-    @Nullable Base<@NonNull String> foo() { return null; }
-}
-
-// FILE: a.kt
-interface Derived<E> : Base<E> {}
-
-fun bar1(): Derived<String> = null!!
-fun bar2(): Derived<String?> = null!!
-
-class B : A() {
-    override fun foo(): Base<String> { return bar1(); }
-}
-
-class C1 : A() {
-    override fun foo(): Derived<String> { return bar1(); }
-}
-
-class C2 : A() {
-    override fun foo(): Derived<String>? { return bar1(); }
-}
-
-class C3 : A() {
-    override fun foo(): <!RETURN_TYPE_MISMATCH_ON_OVERRIDE!>Derived<String?><!> { return bar2(); }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/returnTypeOverrideInKotlin.fir.txt

@@ -1,56 +0,0 @@
-package
-
-public fun bar1(): Derived<kotlin.String>
-public fun bar2(): Derived<kotlin.String?>
-
-public open class A {
-    public constructor A()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    @org.checkerframework.checker.nullness.qual.Nullable public/*package*/ open fun foo(): @org.checkerframework.checker.nullness.qual.Nullable Base<@org.checkerframework.checker.nullness.qual.NonNull kotlin.String>?
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public final class B : A {
-    public constructor B()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    protected open override /*1*/ fun foo(): Base<kotlin.String>
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public interface Base</*0*/ T : kotlin.Any!> {
-    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
-}
-
-public final class C1 : A {
-    public constructor C1()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    protected open override /*1*/ fun foo(): Derived<kotlin.String>
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public final class C2 : A {
-    public constructor C2()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    protected open override /*1*/ fun foo(): Derived<kotlin.String>?
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public final class C3 : A {
-    public constructor C3()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    protected open override /*1*/ fun foo(): Derived<kotlin.String?>
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}
-
-public interface Derived</*0*/ E> : Base<E> {
-    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
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/returnTypeWithWarnings.fir.kt

@@ -1,67 +0,0 @@
-// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated, -TypeEnhancementImprovementsInStrictMode
-// !DIAGNOSTICS: -UNUSED_PARAMETER
-// SKIP_TXT
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: ReturnTypeWithWarnings.java
-// We've already had errors in source mode, so it's relevant only for binaries for now
-// INCLUDE_JAVA_AS_BINARY
-
-import org.jetbrains.annotations.*;
-
-public class ReturnTypeWithWarnings<T> {
-    public interface A<T1, T2> {}
-
-    public A<@Nullable String, @Nullable T> foo1() { return null; }
-    public A<@Nullable String, @NotNull T> foo2() { return null; }
-    public A<@NotNull String, @NotNull T> foo3 = null;
-    public @NotNull T [] foo4 = null;
-    public ReturnTypeWithWarnings<@Nullable String> foo41 = null;
-    public T foo411 = null;
-    public @Nullable String [] foo5() { return null; }
-}
-
-// FILE: main.kt
-fun <K> takeNotNullStringAndKNullable(x: ReturnTypeWithWarnings.A<String, K?>) {}
-fun <K> takeNullableStringAndKNullable(x: ReturnTypeWithWarnings.A<String?, K?>) {}
-fun <K: Any> takeNotNullStringAndNotNullK(x: ReturnTypeWithWarnings.A<String, K>) {}
-fun <K: Any> takeNullableStringAndNotNullK(x: ReturnTypeWithWarnings.A<String?, K>) {}
-fun takeNotNullString(x: String) {}
-
-fun takeArrayOfNotNullString(x: Array<String>) {}
-fun takeArrayOfNullableString(x: Array<String?>) {}
-fun <K: Any> takeArrayOfNotNullK(x: Array<K>) {}
-fun <K> takeArrayOfNullableK(x: Array<K?>) {}
-
-fun <R> main(a: ReturnTypeWithWarnings<R>) {
-    val x1 = a.foo1()
-    takeNotNullStringAndKNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>x1<!>)
-    takeNullableStringAndKNullable(x1)
-    takeNotNullStringAndNotNullK(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS, TYPE_MISMATCH!>x1<!>)
-    takeNullableStringAndNotNullK(<!TYPE_MISMATCH!>x1<!>)
-    takeNotNullString(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>a.foo41.foo411<!>)
-
-    val x2 = a.foo2()
-    takeNotNullStringAndKNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>x2<!>)
-    takeNullableStringAndKNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>x2<!>)
-    takeNotNullStringAndNotNullK(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS, TYPE_MISMATCH!>x2<!>)
-    takeNullableStringAndNotNullK(<!TYPE_MISMATCH!>x2<!>)
-
-    val x3 = a.foo3
-    takeNotNullStringAndKNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>x3<!>)
-    takeNullableStringAndKNullable(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>x3<!>)
-    takeNotNullStringAndNotNullK(<!TYPE_MISMATCH!>x3<!>)
-    takeNullableStringAndNotNullK(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS, TYPE_MISMATCH!>x3<!>)
-
-    val x4 = a.foo4
-    takeArrayOfNotNullString(<!TYPE_MISMATCH!>x4<!>)
-    takeArrayOfNullableString(<!TYPE_MISMATCH!>x4<!>)
-    takeArrayOfNotNullK(<!TYPE_MISMATCH!>x4<!>)
-    takeArrayOfNullableK(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>x4<!>)
-
-    val x5 = a.foo5()
-    takeArrayOfNotNullString(<!TYPE_MISMATCH!>x5<!>)
-    takeArrayOfNullableString(<!TYPE_MISMATCH!>x5<!>)
-    takeArrayOfNotNullK(<!TYPE_MISMATCH!>x5<!>)
-    takeArrayOfNullableK(<!TYPE_MISMATCH!>x5<!>)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/simple.fir.kt

@@ -1,7 +0,0 @@
-// FILE: A.java
-import org.checkerframework.checker.nullness.qual.*;
-import java.util.*;
-
-class A {
-    List<@NonNull String> foo() { return null; }
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/simple.fir.txt

@@ -1,9 +0,0 @@
-package
-
-public/*package*/ open class A {
-    public/*package*/ constructor A()
-    public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
-    public/*package*/ open fun foo(): kotlin.collections.(Mutable)List<@org.checkerframework.checker.nullness.qual.NonNull kotlin.String>!
-    public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
-    public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/valueParameter.fir.kt

@@ -1,62 +0,0 @@
-// !LANGUAGE: +TypeEnhancementImprovementsInStrictMode +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated
-// !DIAGNOSTICS: -UNUSED_PARAMETER -CAST_NEVER_SUCCEEDS
-// SKIP_TXT
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: ValueParameter.java
-
-import org.jetbrains.annotations.*;
-
-public class ValueParameter<T> {
-    public interface A<T1, T2> {}
-
-    public void foo1(A<@Nullable String, @Nullable T> x) { }
-    public void foo2(A<@Nullable String, @NotNull T> x) { }
-    public void foo3(A<@NotNull String, @NotNull T> x) { }
-    public void foo4(@NotNull T [] x) { }
-    public void foo41(@Nullable String x) { }
-    public void foo411(T x) { }
-    public void foo5(@Nullable String [] x) { }
-}
-
-// FILE: main.kt
-fun <K> getNotNullStringAndKNullable() = null as ValueParameter.A<String, K?>
-fun <K> getNullableStringAndKNullable() = null as ValueParameter.A<String?, K?>
-fun <K: Any> getNotNullStringAndNotNullK() = null as ValueParameter.A<String, K>
-fun <K: Any> getNullableStringAndNotNullK() = null as ValueParameter.A<String?, K>
-fun getNotNullString() = null as String
-
-fun getArrayOfNotNullString() = null as Array<String>
-fun getArrayOfNullableString() = null as Array<String?>
-fun <K: Any> getArrayOfNotNullK() = null as Array<K>
-fun <K> getArrayOfNullableK() = null as Array<K?>
-
-fun <R> main(a: ValueParameter<R>) {
-    a.foo1(<!TYPE_MISMATCH!>getNotNullStringAndKNullable()<!>)
-    a.foo1(getNullableStringAndKNullable())
-    a.foo1(<!TYPE_MISMATCH!>getNotNullStringAndNotNullK()<!>)
-    a.foo1(<!TYPE_MISMATCH!>getNullableStringAndNotNullK()<!>)
-
-    a.foo2(<!TYPE_MISMATCH!>getNotNullStringAndKNullable()<!>)
-    a.foo2(<!TYPE_MISMATCH!>getNullableStringAndKNullable()<!>)
-    a.foo2(<!TYPE_MISMATCH!>getNotNullStringAndNotNullK()<!>)
-    a.foo2(getNullableStringAndNotNullK())
-
-    a.foo3(<!TYPE_MISMATCH!>getNotNullStringAndKNullable()<!>)
-    a.foo3(<!TYPE_MISMATCH!>getNullableStringAndKNullable()<!>)
-    a.foo3(getNotNullStringAndNotNullK())
-    a.foo3(<!TYPE_MISMATCH!>getNullableStringAndNotNullK()<!>)
-
-    a.foo4(<!TYPE_MISMATCH!>getArrayOfNotNullString()<!>)
-    a.foo4(<!TYPE_MISMATCH!>getArrayOfNullableString()<!>)
-    a.foo4(getArrayOfNotNullK())
-    a.foo4(<!TYPE_MISMATCH!>getArrayOfNullableK()<!>)
-
-    a.foo5(getArrayOfNotNullString())
-    a.foo5(getArrayOfNullableString())
-    a.foo5(getArrayOfNotNullK())
-    a.foo5(getArrayOfNullableK())
-
-    a.foo41(getNotNullString())
-    a.foo411(<!TYPE_MISMATCH!>getNotNullString()<!>)
-}

compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/misc/valueParameterWithWarnings.fir.kt

@@ -1,64 +0,0 @@
-// !LANGUAGE: +ProhibitUsingNullableTypeParameterAgainstNotNullAnnotated, -TypeEnhancementImprovementsInStrictMode
-// !DIAGNOSTICS: -UNUSED_PARAMETER -CAST_NEVER_SUCCEEDS
-// SKIP_TXT
-// MUTE_FOR_PSI_CLASS_FILES_READING
-
-// FILE: ValueParameterWithWarnings.java
-// We've already had errors in source mode, so it's relevant only for binaries for now
-// INCLUDE_JAVA_AS_BINARY
-
-import org.jetbrains.annotations.*;
-
-public class ValueParameterWithWarnings<T> {
-    public interface A<T1, T2> {}
-
-    public void foo1(A<@Nullable String, @Nullable T> x) { }
-    public void foo2(A<@Nullable String, @NotNull T> x) { }
-    public void foo3(A<@NotNull String, @NotNull T> x) { }
-    public void foo4(@NotNull T [] x) { }
-    public void foo41(@Nullable String x) { }
-    public void foo411(T x) { }
-    public void foo5(@Nullable String [] x) { }
-}
-
-// FILE: main.kt
-fun <K> getNotNullStringAndKNullable() = null as ValueParameterWithWarnings.A<String, K?>
-fun <K> getNullableStringAndKNullable() = null as ValueParameterWithWarnings.A<String?, K?>
-fun <K: Any> getNotNullStringAndNotNullK() = null as ValueParameterWithWarnings.A<String, K>
-fun <K: Any> getNullableStringAndNotNullK() = null as ValueParameterWithWarnings.A<String?, K>
-fun getNotNullString() = null as String
-
-fun getArrayOfNotNullString() = null as Array<String>
-fun getArrayOfNullableString() = null as Array<String?>
-fun <K: Any> getArrayOfNotNullK() = null as Array<K>
-fun <K> getArrayOfNullableK() = null as Array<K?>
-
-fun <R> main(a: ValueParameterWithWarnings<R>) {
-    a.foo1(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>getNotNullStringAndKNullable()<!>)
-    a.foo1(getNullableStringAndKNullable())
-    a.foo1(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS, TYPE_MISMATCH!>getNotNullStringAndNotNullK()<!>)
-    a.foo1(<!TYPE_MISMATCH!>getNullableStringAndNotNullK()<!>)
-
-    a.foo2(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>getNotNullStringAndKNullable()<!>)
-    a.foo2(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>getNullableStringAndKNullable()<!>)
-    a.foo2(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS, TYPE_MISMATCH!>getNotNullStringAndNotNullK()<!>)
-    a.foo2(<!TYPE_MISMATCH!>getNullableStringAndNotNullK()<!>)
-
-    a.foo3(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>getNotNullStringAndKNullable()<!>)
-    a.foo3(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>getNullableStringAndKNullable()<!>)
-    a.foo3(<!TYPE_MISMATCH!>getNotNullStringAndNotNullK()<!>)
-    a.foo3(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS, TYPE_MISMATCH!>getNullableStringAndNotNullK()<!>)
-
-    a.foo4(<!TYPE_MISMATCH!>getArrayOfNotNullString()<!>)
-    a.foo4(<!TYPE_MISMATCH!>getArrayOfNullableString()<!>)
-    a.foo4(getArrayOfNotNullK())
-    a.foo4(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>getArrayOfNullableK()<!>)
-
-    a.foo5(getArrayOfNotNullString())
-    a.foo5(getArrayOfNullableString())
-    a.foo5(getArrayOfNotNullK())
-    a.foo5(getArrayOfNullableK())
-
-    a.foo41(getNotNullString())
-    a.foo411(<!TYPE_MISMATCH!>getNotNullString()<!>)
-}