Migrate all JDK 9 related tests to JDK 11

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/basic.kt

@@ -0,0 +1,26 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/basic.txt

@@ -0,0 +1,14 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int): 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/java11Tests/jspecify/moduleAnnotations/strict/composeWithClassDefaultAnnotation.kt

@@ -0,0 +1,29 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// FILE: sandbox/test/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/composeWithClassDefaultAnnotation.txt

@@ -0,0 +1,15 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    @org.jspecify.nullness.NullMarked public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int): 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/java11Tests/jspecify/moduleAnnotations/strict/composeWithPackageDefaultAnnotation.kt

@@ -0,0 +1,32 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/package-info.java
+@NullMarked
+package test;
+
+import org.jspecify.nullness.NullMarked;
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/composeWithPackageDefaultAnnotation.txt

@@ -0,0 +1,15 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int): 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/java11Tests/jspecify/moduleAnnotations/strict/dependentModulesNoNullMarked.kt

@@ -0,0 +1,31 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(y: test2.Test) {
+    y.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/dependentModulesNoNullMarked.txt

@@ -0,0 +1,20 @@
+// -- Module: <module1> --
+package
+
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ y: test2.Test): kotlin.Unit
+
+package test2 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/strict/dependentModulesNullMarked.kt

@@ -0,0 +1,31 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// MODULE: module1
+// FILE: module1/module-info.java
+module module1 {
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module2 {
+    requires java9_annotations;
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(y: test2.Test) {
+    y.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/dependentModulesNullMarked.txt

@@ -0,0 +1,20 @@
+// -- Module: <module1> --
+package
+
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ y: test2.Test): kotlin.Unit
+
+package test2 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int): 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/java11Tests/jspecify/moduleAnnotations/strict/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt

@@ -0,0 +1,45 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// MODULE: sandbox
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/package-info.java
+package test;
+
+// FILE: sandbox/test/Foo.java
+package test;
+
+class Foo {}
+
+// MODULE: sandbox2
+// FILE: sandbox2/module-info.java
+module sandbox2 {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox2/test/package-info.java
+package test;
+
+// FILE: sandbox2/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.txt

@@ -0,0 +1,29 @@
+// -- Module: <sandbox> --
+package
+
+package test {
+
+    public/*package*/ open class Foo {
+        public/*package*/ constructor Foo()
+        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
+    }
+}
+
+// -- Module: <sandbox2> --
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/strict/dotNamedModule.kt

@@ -0,0 +1,26 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// FILE: my.sand.box/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+open module my.sand.box {
+    requires java9_annotations;
+    exports my.test;
+}
+
+// FILE: my.sand.box/my/test/Test.java
+package my.test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import my.test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/dotNamedModule.txt

@@ -0,0 +1,18 @@
+package
+
+public fun main(/*0*/ x: my.test.Test): kotlin.Unit
+
+package my {
+
+    package my.test {
+
+        public open class Test {
+            public constructor Test()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun foo(/*0*/ x: kotlin.Int): 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/java11Tests/jspecify/moduleAnnotations/strict/inheritanceAcrossModules.kt

@@ -0,0 +1,46 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+    exports test1;
+}
+
+// FILE: module1/test1/Test1.java
+package test1;
+
+public class Test1 {
+    public void foo(Integer x) {}
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test2.java
+package test2;
+
+import test1.Test1;
+
+public class Test2 extends Test1 {
+    public void foo2(Integer x) {}
+}
+
+// FILE: main.kt
+import test1.Test1
+import test2.Test2
+
+fun main(x: Test1, y: Test2) {
+    x.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+    y.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+    y.foo2(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/inheritanceAcrossModules.txt

@@ -0,0 +1,31 @@
+// -- Module: <module1> --
+package
+
+package test1 {
+
+    public open class Test1 {
+        public constructor Test1()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int): kotlin.Unit
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ x: test1.Test1, /*1*/ y: test2.Test2): kotlin.Unit
+
+package test2 {
+
+    public open class Test2 : test1.Test1 {
+        public constructor Test2()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun foo(/*0*/ p0: kotlin.Int): kotlin.Unit
+        public open fun foo2(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/strict/nestedClasses.kt

@@ -0,0 +1,44 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public static class Test2 {
+        public Integer foo(Integer x) { return 1; }
+        public static class Test4 {
+            public Integer foo(Integer x) { return 1; }
+        }
+        public class Test5 {
+            public Integer foo(Integer x) { return 1; }
+        }
+    }
+    public class Test3 {
+        public Integer foo(Integer x) { return 1; }
+        public class Test5 {
+            public Integer foo(Integer x) { return 1; }
+        }
+    }
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>x.Test3().foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>x.Test3().Test5().foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)<!>
+
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>Test.Test2().foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int")!>Test.Test2().Test5().foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)<!>
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/nestedClasses.txt

@@ -0,0 +1,54 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    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
+
+        public open class Test2 {
+            public constructor Test2()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun foo(/*0*/ x: kotlin.Int): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+
+            public open class Test4 {
+                public constructor Test4()
+                public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+                public open fun foo(/*0*/ x: kotlin.Int): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+            }
+
+            public open inner class Test5 {
+                public constructor Test5()
+                public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+                public open fun foo(/*0*/ x: kotlin.Int): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+            }
+        }
+
+        public open inner class Test3 {
+            public constructor Test3()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun foo(/*0*/ x: kotlin.Int): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+
+            public open inner class Test5 {
+                public constructor Test5()
+                public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+                public open fun foo(/*0*/ x: kotlin.Int): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+            }
+        }
+    }
+}
+

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/overrideAtDeclarationLevel.kt

@@ -0,0 +1,28 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// FILE: sandbox/test/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+import org.jspecify.nullness.Nullable;
+
+public class Test {
+    public void foo(@Nullable Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/overrideAtDeclarationLevel.txt

@@ -0,0 +1,15 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable kotlin.Int?): 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/java11Tests/jspecify/moduleAnnotations/strict/severalModulesDifferentPackages.kt

@@ -0,0 +1,40 @@
+// FIR_IDENTICAL
+// ALLOW_KOTLIN_PACKAGE
+// JSPECIFY_STATE: strict
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+    exports test1;
+}
+
+// FILE: module1/test1/Test.java
+package test1;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(x: test1.Test, y: test2.Test) {
+    x.foo(<!NULL_FOR_NONNULL_TYPE!>null<!>)
+    y.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/strict/severalModulesDifferentPackages.txt

@@ -0,0 +1,30 @@
+// -- Module: <module1> --
+package
+
+package test1 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int): kotlin.Unit
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ x: test1.Test, /*1*/ y: test2.Test): kotlin.Unit
+
+package test2 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/basic.fir.kt

@@ -0,0 +1,25 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/basic.kt

@@ -0,0 +1,25 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/basic.txt

@@ -0,0 +1,14 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.fir.kt

@@ -0,0 +1,28 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/test/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.kt

@@ -0,0 +1,28 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/test/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/composeWithClassDefaultAnnotation.txt

@@ -0,0 +1,15 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    @org.jspecify.nullness.NullMarked public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.fir.kt

@@ -0,0 +1,31 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/package-info.java
+@NullMarked
+package test;
+
+import org.jspecify.nullness.NullMarked;
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.kt

@@ -0,0 +1,31 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/package-info.java
+@NullMarked
+package test;
+
+import org.jspecify.nullness.NullMarked;
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/composeWithPackageDefaultAnnotation.txt

@@ -0,0 +1,15 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.kt

@@ -0,0 +1,31 @@
+// FIR_IDENTICAL
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(y: test2.Test) {
+    y.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/dependentModulesNoNullMarked.txt

@@ -0,0 +1,20 @@
+// -- Module: <module1> --
+package
+
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ y: test2.Test): kotlin.Unit
+
+package test2 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.fir.kt

@@ -0,0 +1,30 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+module module1 {
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module2 {
+    requires java9_annotations;
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(y: test2.Test) {
+    y.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.kt

@@ -0,0 +1,30 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+module module1 {
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module2 {
+    requires java9_annotations;
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(y: test2.Test) {
+    y.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/dependentModulesNullMarked.txt

@@ -0,0 +1,20 @@
+// -- Module: <module1> --
+package
+
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ y: test2.Test): kotlin.Unit
+
+package test2 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.kt

@@ -0,0 +1,45 @@
+// FIR_IDENTICAL
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: sandbox
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/package-info.java
+package test;
+
+// FILE: sandbox/test/Foo.java
+package test;
+
+class Foo {}
+
+// MODULE: sandbox2
+// FILE: sandbox2/module-info.java
+module sandbox2 {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox2/test/package-info.java
+package test;
+
+// FILE: sandbox2/test/Test.java
+package test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/dontPropagateModuleAnnotationToAnotherModuleWithSamePackage.txt

@@ -0,0 +1,29 @@
+// -- Module: <sandbox> --
+package
+
+package test {
+
+    public/*package*/ open class Foo {
+        public/*package*/ constructor Foo()
+        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
+    }
+}
+
+// -- Module: <sandbox2> --
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/dotNamedModule.fir.kt

@@ -0,0 +1,25 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: my.sand.box/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+open module my.sand.box {
+    requires java9_annotations;
+    exports my.test;
+}
+
+// FILE: my.sand.box/my/test/Test.java
+package my.test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import my.test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/dotNamedModule.kt

@@ -0,0 +1,25 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: my.sand.box/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+open module my.sand.box {
+    requires java9_annotations;
+    exports my.test;
+}
+
+// FILE: my.sand.box/my/test/Test.java
+package my.test;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+import my.test.Test
+
+fun main(x: Test) {
+    x.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/dotNamedModule.txt

@@ -0,0 +1,18 @@
+package
+
+public fun main(/*0*/ x: my.test.Test): kotlin.Unit
+
+package my {
+
+    package my.test {
+
+        public open class Test {
+            public constructor Test()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun foo(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.fir.kt

@@ -0,0 +1,45 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+    exports test1;
+}
+
+// FILE: module1/test1/Test1.java
+package test1;
+
+public class Test1 {
+    public void foo(Integer x) {}
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test2.java
+package test2;
+
+import test1.Test1;
+
+public class Test2 extends Test1 {
+    public void foo2(Integer x) {}
+}
+
+// FILE: main.kt
+import test1.Test1
+import test2.Test2
+
+fun main(x: Test1, y: Test2) {
+    x.foo(null)
+    y.foo(null)
+    y.foo2(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.kt

@@ -0,0 +1,45 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+    exports test1;
+}
+
+// FILE: module1/test1/Test1.java
+package test1;
+
+public class Test1 {
+    public void foo(Integer x) {}
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test2.java
+package test2;
+
+import test1.Test1;
+
+public class Test2 extends Test1 {
+    public void foo2(Integer x) {}
+}
+
+// FILE: main.kt
+import test1.Test1
+import test2.Test2
+
+fun main(x: Test1, y: Test2) {
+    x.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+    y.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+    y.foo2(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/inheritanceAcrossModules.txt

@@ -0,0 +1,31 @@
+// -- Module: <module1> --
+package
+
+package test1 {
+
+    public open class Test1 {
+        public constructor Test1()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Unit
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ x: test1.Test1, /*1*/ y: test2.Test2): kotlin.Unit
+
+package test2 {
+
+    public open class Test2 : test1.Test1 {
+        public constructor Test2()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open override /*1*/ /*fake_override*/ fun foo(/*0*/ p0: kotlin.Int!): kotlin.Unit
+        public open fun foo2(/*0*/ x: kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/nestedClasses.fir.kt

@@ -0,0 +1,43 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public static class Test2 {
+        public Integer foo(Integer x) { return 1; }
+        public static class Test4 {
+            public Integer foo(Integer x) { return 1; }
+        }
+        public class Test5 {
+            public Integer foo(Integer x) { return 1; }
+        }
+    }
+    public class Test3 {
+        public Integer foo(Integer x) { return 1; }
+        public class Test5 {
+            public Integer foo(Integer x) { return 1; }
+        }
+    }
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int..kotlin.Int?!")!>x.Test3().foo(null)<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int..kotlin.Int?!")!>x.Test3().Test5().foo(null)<!>
+
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int..kotlin.Int?!")!>Test.Test2().foo(null)<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("kotlin.Int..kotlin.Int?!")!>Test.Test2().Test5().foo(null)<!>
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/nestedClasses.kt

@@ -0,0 +1,43 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+public class Test {
+    public static class Test2 {
+        public Integer foo(Integer x) { return 1; }
+        public static class Test4 {
+            public Integer foo(Integer x) { return 1; }
+        }
+        public class Test5 {
+            public Integer foo(Integer x) { return 1; }
+        }
+    }
+    public class Test3 {
+        public Integer foo(Integer x) { return 1; }
+        public class Test5 {
+            public Integer foo(Integer x) { return 1; }
+        }
+    }
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    <!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.Int..kotlin.Int?)")!>x.Test3().foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.Int..kotlin.Int?)")!>x.Test3().Test5().foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)<!>
+
+    <!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.Int..kotlin.Int?)")!>Test.Test2().foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)<!>
+    <!DEBUG_INFO_EXPRESSION_TYPE("(kotlin.Int..kotlin.Int?)")!>Test.Test2().Test5().foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)<!>
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/nestedClasses.txt

@@ -0,0 +1,54 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    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
+
+        public open class Test2 {
+            public constructor Test2()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Int!
+            public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+
+            public open class Test4 {
+                public constructor Test4()
+                public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+                public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Int!
+                public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+            }
+
+            public open inner class Test5 {
+                public constructor Test5()
+                public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+                public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Int!
+                public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+            }
+        }
+
+        public open inner class Test3 {
+            public constructor Test3()
+            public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+            public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Int!
+            public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+            public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+
+            public open inner class Test5 {
+                public constructor Test5()
+                public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+                public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Int!
+                public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+                public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+            }
+        }
+    }
+}
+

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.kt

@@ -0,0 +1,29 @@
+// FIR_IDENTICAL
+// FIR_IDENTICAL
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// FILE: sandbox/test/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module sandbox {
+    requires java9_annotations;
+    exports test;
+}
+
+// FILE: sandbox/test/Test.java
+package test;
+
+import org.jspecify.nullness.Nullable;
+
+public class Test {
+    public void foo(@Nullable Integer x) {}
+}
+
+// FILE: main.kt
+import test.Test
+
+fun main(x: Test) {
+    x.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/overrideAtDeclarationLevel.txt

@@ -0,0 +1,15 @@
+package
+
+public fun main(/*0*/ x: test.Test): kotlin.Unit
+
+package test {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ @org.jspecify.nullness.Nullable x: @org.jspecify.nullness.Nullable kotlin.Int!): 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/java11Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.fir.kt

@@ -0,0 +1,39 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+    exports test1;
+}
+
+// FILE: module1/test1/Test.java
+package test1;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(x: test1.Test, y: test2.Test) {
+    x.foo(null)
+    y.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.kt

@@ -0,0 +1,39 @@
+// JSPECIFY_STATE: warn
+// ALLOW_KOTLIN_PACKAGE
+
+// MODULE: module1
+// FILE: module1/module-info.java
+import org.jspecify.nullness.NullMarked;
+
+@NullMarked
+module module1 {
+    requires java9_annotations;
+    exports test1;
+}
+
+// FILE: module1/test1/Test.java
+package test1;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// MODULE: module2(module1)
+// FILE: module2/module-info.java
+module module2 {
+    requires module1;
+    exports test2;
+}
+
+// FILE: module2/test2/Test.java
+package test2;
+
+public class Test {
+    public void foo(Integer x) {}
+}
+
+// FILE: main.kt
+fun main(x: test1.Test, y: test2.Test) {
+    x.foo(<!NULLABILITY_MISMATCH_BASED_ON_JAVA_ANNOTATIONS!>null<!>)
+    y.foo(null)
+}

compiler/testData/diagnostics/foreignAnnotationsTests/java11Tests/jspecify/moduleAnnotations/warn/severalModulesDifferentPackages.txt

@@ -0,0 +1,30 @@
+// -- Module: <module1> --
+package
+
+package test1 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Unit
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}
+
+// -- Module: <module2> --
+package
+
+public fun main(/*0*/ x: test1.Test, /*1*/ y: test2.Test): kotlin.Unit
+
+package test2 {
+
+    public open class Test {
+        public constructor Test()
+        public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean
+        public open fun foo(/*0*/ x: kotlin.Int!): kotlin.Unit
+        public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int
+        public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String
+    }
+}
+