diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt index e63b0bf2660..08f578d17b7 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecify/strictMode/NonPlatformTypeParameter.fir.kt @@ -17,12 +17,14 @@ public class Test {} fun main(a1: NonPlatformTypeParameter, a2: NonPlatformTypeParameter, x: T): Unit { a1.foo(null) a1.bar(null) - a1.bar(null) + // jspecify_nullness_mismatch + a1.bar(null) a1.bar(x) a2.foo(null) a2.bar(null) - a2.bar(null) + // jspecify_nullness_mismatch + a2.bar(null) a2.bar(x) } diff --git a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecifyOld/strictMode/NonPlatformTypeParameter.fir.kt b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecifyOld/strictMode/NonPlatformTypeParameter.fir.kt index 0f27cdf02d1..139d460c418 100644 --- a/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecifyOld/strictMode/NonPlatformTypeParameter.fir.kt +++ b/compiler/testData/diagnostics/foreignAnnotationsTests/java8Tests/jspecifyOld/strictMode/NonPlatformTypeParameter.fir.kt @@ -18,13 +18,13 @@ fun main(a1: NonPlatformTypeParameter, a2: NonPlatformTypeParam a1.foo(null) a1.bar(null) // jspecify_nullness_mismatch - a1.bar(null) + a1.bar(null) a1.bar(x) // jspecify_nullness_mismatch a2.foo(null) a2.bar(null) // jspecify_nullness_mismatch - a2.bar(null) + a2.bar(null) a2.bar(x) -} \ No newline at end of file +} diff --git a/compiler/testData/ir/irText/fakeOverrides/annotations/typeParameterAnnotationOverride.fir.ir.txt b/compiler/testData/ir/irText/fakeOverrides/annotations/typeParameterAnnotationOverride.fir.ir.txt index 58afc356c77..f4bb53c1cf7 100644 --- a/compiler/testData/ir/irText/fakeOverrides/annotations/typeParameterAnnotationOverride.fir.ir.txt +++ b/compiler/testData/ir/irText/fakeOverrides/annotations/typeParameterAnnotationOverride.fir.ir.txt @@ -246,10 +246,10 @@ FILE fqName: fileName:/1.kt $this: GET_VAR 'c: .C declared in .test' type=.C origin=null s: CONST Int type=kotlin.Int value=1 VAR name:k7 type:kotlin.Int? [val] - GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] T of .Java3? visibility:public' type=@[FlexibleNullability] kotlin.Int? origin=null + GET_FIELD 'FIELD IR_EXTERNAL_JAVA_DECLARATION_STUB name:a type:@[FlexibleNullability] T of .Java3? visibility:public' type=kotlin.Int? origin=null receiver: GET_VAR 'd: .D declared in .test' type=.D origin=null VAR name:k8 type:kotlin.Int? [val] - CALL 'public open fun bar (): @[FlexibleNullability] kotlin.Int? declared in .D' type=@[FlexibleNullability] kotlin.Int? origin=null + CALL 'public open fun bar (): @[FlexibleNullability] kotlin.Int? declared in .D' type=kotlin.Int? origin=null $this: GET_VAR 'd: .D declared in .test' type=.D origin=null CALL 'public open fun foo (s: @[FlexibleNullability] kotlin.Int?): kotlin.Unit declared in .D' type=kotlin.Unit origin=null $this: GET_VAR 'd: .D declared in .test' type=.D origin=null