diff --git a/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.kt b/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.kt index a66a3ec7991..a9fec425654 100644 --- a/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.kt +++ b/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.kt @@ -15,7 +15,8 @@ class Outer { class B extends A { // OK, non-platform types @Override - @NonNull T2 foo(@Nullable T1 x) { return null; } + @NonNull + T2 foo(@Nullable T1 x) { return null; } // Parameter type is fully non-flexible (OK) // Return type is `X?`. @@ -23,7 +24,8 @@ class Outer { // 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 X<@Nullable R> bar(@NonNull Y<@NonNull R> x) { return null; } + @Nullable + X<@Nullable R> bar(@NonNull Y<@NonNull R> x) { return null; } } class C extends B { @@ -46,6 +48,7 @@ class Outer { @Override - @NonNull X<@NonNull F> bar(@Nullable Y<@Nullable F> x) { return null; } + @NonNull + X<@NonNull F> bar(@Nullable Y<@Nullable F> x) { return null; } } } diff --git a/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.txt b/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.txt index 7ea0a6ced12..f9ccf1a6e14 100644 --- a/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.txt +++ b/compiler/testData/foreignAnnotationsJava8/tests/typeEnhancement/methodWithTypeParameter.txt @@ -17,9 +17,9 @@ public/*package*/ open class Outer { public/*package*/ open inner class B : Outer.A { public/*package*/ constructor B() - @java.lang.Override() public/*package*/ open override /*1*/ fun bar(/*0*/ @org.checkerframework.checker.nullness.qual.NonNull() x: Y): X? + @java.lang.Override() @org.checkerframework.checker.nullness.qual.Nullable() public/*package*/ open override /*1*/ fun bar(/*0*/ @org.checkerframework.checker.nullness.qual.NonNull() x: Y): X? public open override /*1*/ /*fake_override*/ fun equals(/*0*/ other: kotlin.Any?): kotlin.Boolean - @java.lang.Override() public/*package*/ open override /*1*/ fun foo(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable() x: T1?): T2 + @java.lang.Override() @org.checkerframework.checker.nullness.qual.NonNull() public/*package*/ open override /*1*/ fun foo(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable() x: T1?): T2 public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int public open override /*1*/ /*fake_override*/ fun toString(): kotlin.String } @@ -35,7 +35,7 @@ public/*package*/ open class Outer { public/*package*/ open inner class D : Outer.C { public/*package*/ constructor D() - @java.lang.Override() public/*package*/ open override /*1*/ fun bar(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable() x: Y!): X + @java.lang.Override() @org.checkerframework.checker.nullness.qual.NonNull() public/*package*/ open override /*1*/ fun bar(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable() x: Y!): X 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(/*0*/ @org.checkerframework.checker.nullness.qual.Nullable() x: U?): W public open override /*1*/ /*fake_override*/ fun hashCode(): kotlin.Int