Massive test data update for compiledJava

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/PropagateTypeArgumentNullable.txt

@@ -3,20 +3,20 @@ package test
 public trait PropagateTypeArgumentNullable {
 
     public trait Sub : test.PropagateTypeArgumentNullable.Super {
-        public abstract override /*1*/ fun invOutR(): kotlin.MutableList<kotlin.List<kotlin.String?>>
-        public abstract override /*1*/ fun invOutS(/*0*/ p: kotlin.MutableList<kotlin.List<kotlin.String?>>): kotlin.Unit
-        public abstract override /*1*/ fun invR(): kotlin.MutableList<kotlin.String?>
-        public abstract override /*1*/ fun outOutS(/*0*/ p: kotlin.List<kotlin.List<kotlin.String?>>): kotlin.Unit
-        public abstract override /*1*/ fun outR(): kotlin.List<kotlin.String?>
-        public abstract override /*1*/ fun outS(/*0*/ p: kotlin.List<kotlin.String?>): kotlin.Unit
+        public abstract override /*1*/ fun invOutR(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
+        public abstract override /*1*/ fun invOutS(/*0*/ p: kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!): kotlin.Unit
+        public abstract override /*1*/ fun invR(): kotlin.(Mutable)List<kotlin.String!>!
+        public abstract override /*1*/ fun outOutS(/*0*/ p: kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!): kotlin.Unit
+        public abstract override /*1*/ fun outR(): kotlin.(Mutable)List<kotlin.String!>!
+        public abstract override /*1*/ fun outS(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun invOutR(): kotlin.MutableList<kotlin.List<kotlin.String?>>
-        public abstract fun invOutS(/*0*/ p: kotlin.MutableList<kotlin.List<kotlin.String?>>): kotlin.Unit
-        public abstract fun invR(): kotlin.MutableList<kotlin.String?>
-        public abstract fun outOutS(/*0*/ p: kotlin.List<kotlin.List<kotlin.String?>>): kotlin.Unit
-        public abstract fun outR(): kotlin.List<kotlin.String?>
-        public abstract fun outS(/*0*/ p: kotlin.List<kotlin.String?>): kotlin.Unit
+        public abstract fun invOutR(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
+        public abstract fun invOutS(/*0*/ p: kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!): kotlin.Unit
+        public abstract fun invR(): kotlin.(Mutable)List<kotlin.String!>!
+        public abstract fun outOutS(/*0*/ p: kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!): kotlin.Unit
+        public abstract fun outR(): kotlin.(Mutable)List<kotlin.String!>!
+        public abstract fun outS(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/ChangeProjectionKind1.txt

@@ -4,11 +4,11 @@ public trait ChangeProjectionKind1 {
 
     public trait Sub : test.ChangeProjectionKind1.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.MutableList<in kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.MutableList<in kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/ChangeProjectionKind2.txt

@@ -4,11 +4,11 @@ public trait ChangeProjectionKind2 {
 
     public trait Sub : test.ChangeProjectionKind2.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.MutableList<kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.MutableList<kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/DeeplySubstitutedClassParameter.txt

@@ -2,18 +2,18 @@ package test
 
 public trait DeeplySubstitutedClassParameter {
 
-    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter.Super<E> {
+    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter.Super<E!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ t: E): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ t: E!): kotlin.Unit
     }
 
-    public trait Sub : test.DeeplySubstitutedClassParameter.Middle<kotlin.String> {
+    public trait Sub : test.DeeplySubstitutedClassParameter.Middle<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ t: kotlin.String): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ t: kotlin.String!): kotlin.Unit
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ t: T): kotlin.Unit
+        public abstract fun foo(/*0*/ t: T!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/DeeplySubstitutedClassParameter2.txt

@@ -2,18 +2,18 @@ package test
 
 public trait DeeplySubstitutedClassParameter2 {
 
-    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter2.Super<E> {
+    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter2.Super<E!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E): kotlin.Unit
+        public abstract override /*1*/ /*fake_override*/ fun foo(/*0*/ t: E!): kotlin.Unit
     }
 
-    public trait Sub : test.DeeplySubstitutedClassParameter2.Middle<kotlin.String> {
+    public trait Sub : test.DeeplySubstitutedClassParameter2.Middle<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ t: kotlin.String): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ t: kotlin.String!): kotlin.Unit
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ t: T): kotlin.Unit
+        public abstract fun foo(/*0*/ t: T!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritMutability.txt

@@ -4,11 +4,11 @@ public trait InheritMutability {
 
     public trait Sub : test.InheritMutability.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.MutableList<kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.MutableList<kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritNotVararg.txt

@@ -4,11 +4,11 @@ public trait InheritNotVararg {
 
     public trait Sub : test.InheritNotVararg.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.Array<out kotlin.String>?): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.Array<out kotlin.String!>?): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p0: kotlin.Array<out kotlin.String>?): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.Array<(out) kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritNotVarargInteger.txt

@@ -4,11 +4,11 @@ public trait InheritNotVarargInteger {
 
     public trait Sub : test.InheritNotVarargInteger.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.Array<out kotlin.Int>?): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.Array<out kotlin.Int!>?): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p0: kotlin.Array<out kotlin.Int>?): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.Array<(out) kotlin.Int!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritNotVarargNotNull.txt

@@ -4,11 +4,11 @@ public trait InheritNotVarargNotNull {
 
     public trait Sub : test.InheritNotVarargNotNull.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.Array<out kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.Array<out kotlin.String!>?): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.Array<out kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.Array<(out) kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritNotVarargPrimitive.txt

@@ -9,6 +9,6 @@ public trait InheritNotVarargPrimitive {
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p0: kotlin.IntArray?): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.IntArray!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritNullability.txt

@@ -4,11 +4,11 @@ public trait InheritNullability {
 
     public trait Sub : test.InheritNullability.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.String): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.String!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p0: kotlin.String): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.String!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritProjectionKind.txt

@@ -4,11 +4,11 @@ public trait InheritProjectionKind {
 
     public trait Sub : test.InheritProjectionKind.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.MutableList<in kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.MutableList<in kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritReadOnliness.txt

@@ -4,11 +4,11 @@ public trait InheritReadOnliness {
 
     public trait Sub : test.InheritReadOnliness.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.List<kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.List<kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritVararg.txt

@@ -4,11 +4,11 @@ public trait InheritVararg {
 
     public trait Sub : test.InheritVararg.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ vararg p0: kotlin.String? /*kotlin.Array<kotlin.String?>*/): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ vararg p0: kotlin.String! /*kotlin.Array<kotlin.String!>*/): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ vararg p0: kotlin.String? /*kotlin.Array<kotlin.String?>*/): kotlin.Unit
+        public abstract fun foo(/*0*/ vararg p0: kotlin.String! /*kotlin.Array<(out) kotlin.String!>!*/): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritVarargInteger.txt

@@ -4,11 +4,11 @@ public trait InheritVarargInteger {
 
     public trait Sub : test.InheritVarargInteger.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ vararg p0: kotlin.Int? /*kotlin.Array<kotlin.Int?>*/): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ vararg p0: kotlin.Int! /*kotlin.Array<kotlin.Int!>*/): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ vararg p0: kotlin.Int? /*kotlin.Array<kotlin.Int?>*/): kotlin.Unit
+        public abstract fun foo(/*0*/ vararg p0: kotlin.Int! /*kotlin.Array<(out) kotlin.Int!>!*/): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritVarargNotNull.txt

@@ -4,11 +4,11 @@ public trait InheritVarargNotNull {
 
     public trait Sub : test.InheritVarargNotNull.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ vararg p: kotlin.String /*kotlin.Array<kotlin.String>*/): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ vararg p: kotlin.String! /*kotlin.Array<kotlin.String!>*/): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ vararg p: kotlin.String /*kotlin.Array<kotlin.String>*/): kotlin.Unit
+        public abstract fun foo(/*0*/ vararg p: kotlin.String! /*kotlin.Array<(out) kotlin.String!>!*/): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/InheritVarargPrimitive.txt

@@ -9,6 +9,6 @@ public trait InheritVarargPrimitive {
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ vararg p0: kotlin.Int /*kotlin.IntArray*/): kotlin.Unit
+        public abstract fun foo(/*0*/ vararg p0: kotlin.Int /*kotlin.IntArray!*/): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/Kt3302.txt

@@ -4,16 +4,16 @@ public trait Kt3302 {
 
     public trait BSONObject {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun put(/*0*/ p0: kotlin.String, /*1*/ p1: kotlin.Any): kotlin.Any?
+        public abstract fun put(/*0*/ p0: kotlin.String!, /*1*/ p1: kotlin.Any!): kotlin.Any!
     }
 
-    public trait BasicBSONObject : test.Kt3302.LinkedHashMap<kotlin.String, kotlin.Any>, test.Kt3302.BSONObject {
+    public trait BasicBSONObject : test.Kt3302.LinkedHashMap<kotlin.String!, kotlin.Any!>, test.Kt3302.BSONObject {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun put(/*0*/ key: kotlin.String, /*1*/ value: kotlin.Any): kotlin.Any?
+        public abstract override /*2*/ fun put(/*0*/ key: kotlin.String!, /*1*/ value: kotlin.Any!): kotlin.Any!
     }
 
     public trait LinkedHashMap</*0*/ K, /*1*/ V> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun put(/*0*/ key: K, /*1*/ value: V): V?
+        public abstract fun put(/*0*/ key: K!, /*1*/ value: V!): V!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/MutableToReadOnly.txt

@@ -4,11 +4,11 @@ public trait MutableToReadOnly {
 
     public trait Sub : test.MutableToReadOnly.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.MutableList<kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.MutableList<kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/NotNullToNullable.txt

@@ -4,11 +4,11 @@ public trait NotNullToNullable {
 
     public trait Sub : test.NotNullToNullable.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.String!): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.String!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
         public abstract fun foo(/*0*/ p0: kotlin.String!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/NullableToNotNull.txt

@@ -11,4 +11,4 @@ public trait NullableToNotNull {
         public abstract fun dummy(): kotlin.Unit
         public abstract fun foo(/*0*/ p0: kotlin.String!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/NullableToNotNullKotlinSignature.txt

@@ -4,11 +4,11 @@ public trait NullableToNotNullKotlinSignature {
 
     public trait Sub : test.NullableToNotNullKotlinSignature.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.String?): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.String!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.String?): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.String!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/OverrideWithErasedParameter.txt

@@ -2,13 +2,14 @@ package test
 
 public trait OverrideWithErasedParameter {
 
-    public trait Sub</*0*/ T> : test.OverrideWithErasedParameter.Super<T> {
+    public trait Sub</*0*/ T> : test.OverrideWithErasedParameter.Super<T!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p0: T?): kotlin.Unit
+        public abstract override /*1*/ /*fake_override*/ fun foo(/*0*/ p0: T!): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.Any!): kotlin.Unit
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p0: T?): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: T!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/ReadOnlyToMutable.txt

@@ -4,11 +4,11 @@ public trait ReadOnlyToMutable {
 
     public trait Sub : test.ReadOnlyToMutable.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.List<kotlin.String>): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p: kotlin.List<kotlin.String>): kotlin.Unit
+        public abstract fun foo(/*0*/ p: kotlin.(Mutable)List<kotlin.String!>!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/SubclassFromGenericAndNot.txt

@@ -4,16 +4,16 @@ public trait SubclassFromGenericAndNot {
 
     public trait Generic</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ key: T): kotlin.Unit
+        public abstract fun foo(/*0*/ key: T!): kotlin.Unit
     }
 
     public trait NonGeneric {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ p0: kotlin.String): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.String!): kotlin.Unit
     }
 
-    public trait Sub : test.SubclassFromGenericAndNot.NonGeneric, test.SubclassFromGenericAndNot.Generic<kotlin.String> {
+    public trait Sub : test.SubclassFromGenericAndNot.NonGeneric, test.SubclassFromGenericAndNot.Generic<kotlin.String!> {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(/*0*/ key: kotlin.String): kotlin.Unit
+        public abstract override /*2*/ fun foo(/*0*/ key: kotlin.String!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/SubstitutedClassParameter.txt

@@ -2,13 +2,13 @@ package test
 
 public trait SubstitutedClassParameter {
 
-    public trait Sub : test.SubstitutedClassParameter.Super<kotlin.String> {
+    public trait Sub : test.SubstitutedClassParameter.Super<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(/*0*/ t: kotlin.String): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ t: kotlin.String!): kotlin.Unit
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ t: T): kotlin.Unit
+        public abstract fun foo(/*0*/ t: T!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/parameter/SubstitutedClassParameters.txt

@@ -2,18 +2,18 @@ package test
 
 public trait SubstitutedClassParameters {
 
-    public trait Sub : test.SubstitutedClassParameters.Super1<kotlin.String>, test.SubstitutedClassParameters.Super2<kotlin.String> {
+    public trait Sub : test.SubstitutedClassParameters.Super1<kotlin.String!>, test.SubstitutedClassParameters.Super2<kotlin.String!> {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(/*0*/ t: kotlin.String): kotlin.Unit
+        public abstract override /*2*/ fun foo(/*0*/ t: kotlin.String!): kotlin.Unit
     }
 
     public trait Super1</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ t: T): kotlin.Unit
+        public abstract fun foo(/*0*/ t: T!): kotlin.Unit
     }
 
     public trait Super2</*0*/ E> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(/*0*/ t: E): kotlin.Unit
+        public abstract fun foo(/*0*/ t: E!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/AddNotNullJavaSubtype.txt

@@ -4,11 +4,11 @@ public trait AddNotNullJavaSubtype {
 
     public trait Sub : test.AddNotNullJavaSubtype.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence?
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/AddNotNullSameJavaType.txt

@@ -4,11 +4,11 @@ public trait AddNotNullSameJavaType {
 
     public trait Sub : test.AddNotNullSameJavaType.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.CharSequence
+        public abstract override /*1*/ fun foo(): kotlin.CharSequence!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence?
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/AddNullabilityJavaSubtype.txt

@@ -4,11 +4,11 @@ public trait AddNullabilityJavaSubtype {
 
     public trait Sub : test.AddNullabilityJavaSubtype.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/AddNullabilitySameGenericType1.txt

@@ -4,11 +4,11 @@ public trait AddNullabilitySameGenericType1 {
 
     public trait Sub : test.AddNullabilitySameGenericType1.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/AddNullabilitySameGenericType2.txt

@@ -4,11 +4,11 @@ public trait AddNullabilitySameGenericType2 {
 
     public trait Sub : test.AddNullabilitySameGenericType2.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/AddNullabilitySameJavaType.txt

@@ -4,11 +4,11 @@ public trait AddNullabilitySameJavaType {
 
     public trait Sub : test.AddNullabilitySameJavaType.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.CharSequence
+        public abstract override /*1*/ fun foo(): kotlin.CharSequence!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/CantMakeImmutableInSubclass.txt

@@ -4,11 +4,11 @@ public trait CantMakeImmutableInSubclass {
 
     public trait Sub : test.CantMakeImmutableInSubclass.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/DeeplySubstitutedClassParameter.txt

@@ -2,18 +2,18 @@ package test
 
 public trait DeeplySubstitutedClassParameter {
 
-    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter.Super<E> {
+    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter.Super<E!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): E
+        public abstract override /*1*/ fun foo(): E!
     }
 
-    public trait Sub : test.DeeplySubstitutedClassParameter.Middle<kotlin.String> {
+    public trait Sub : test.DeeplySubstitutedClassParameter.Middle<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/DeeplySubstitutedClassParameter2.txt

@@ -2,18 +2,18 @@ package test
 
 public trait DeeplySubstitutedClassParameter2 {
 
-    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter2.Super<E> {
+    public trait Middle</*0*/ E> : test.DeeplySubstitutedClassParameter2.Super<E!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ /*fake_override*/ fun foo(): E
+        public abstract override /*1*/ /*fake_override*/ fun foo(): E!
     }
 
-    public trait Sub : test.DeeplySubstitutedClassParameter2.Middle<kotlin.String> {
+    public trait Sub : test.DeeplySubstitutedClassParameter2.Middle<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/HalfSubstitutedTypeParameters.txt

@@ -4,35 +4,35 @@ public trait HalfSubstitutedTypeParameters {
 
     public trait Sub : test.HalfSubstitutedTypeParameters.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): test.HalfSubstitutedTypeParameters.TrickyList<kotlin.Int, kotlin.String?>
+        public abstract override /*1*/ fun foo(): test.HalfSubstitutedTypeParameters.TrickyList<kotlin.Int!, kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableList<kotlin.String?>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
-    public trait TrickyList</*0*/ X, /*1*/ E> : kotlin.MutableList<E> {
-        public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E): kotlin.Boolean
-        public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: E): kotlin.Unit
-        public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
-        public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ index: kotlin.Int, /*1*/ c: kotlin.Collection<E>): kotlin.Boolean
+    public trait TrickyList</*0*/ X, /*1*/ E> : kotlin.MutableList<E!> {
+        public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E!): kotlin.Boolean
+        public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ index: kotlin.Int, /*1*/ element: E!): kotlin.Unit
+        public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<E!>): kotlin.Boolean
+        public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ index: kotlin.Int, /*1*/ c: kotlin.Collection<E!>): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun clear(): kotlin.Unit
         public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: kotlin.Any?): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
-        public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): E
+        public abstract override /*1*/ /*fake_override*/ fun get(/*0*/ index: kotlin.Int): E!
         public abstract override /*1*/ /*fake_override*/ fun indexOf(/*0*/ o: kotlin.Any?): kotlin.Int
         public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
-        public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<E>
+        public abstract override /*1*/ /*fake_override*/ fun iterator(): kotlin.MutableIterator<E!>
         public abstract override /*1*/ /*fake_override*/ fun lastIndexOf(/*0*/ o: kotlin.Any?): kotlin.Int
-        public abstract override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<E>
-        public abstract override /*1*/ /*fake_override*/ fun listIterator(/*0*/ index: kotlin.Int): kotlin.MutableListIterator<E>
+        public abstract override /*1*/ /*fake_override*/ fun listIterator(): kotlin.MutableListIterator<E!>
+        public abstract override /*1*/ /*fake_override*/ fun listIterator(/*0*/ index: kotlin.Int): kotlin.MutableListIterator<E!>
         public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
-        public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ index: kotlin.Int): E
+        public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ index: kotlin.Int): E!
         public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
         public abstract override /*1*/ /*fake_override*/ fun retainAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
-        public abstract override /*1*/ /*fake_override*/ fun set(/*0*/ index: kotlin.Int, /*1*/ element: E): E
+        public abstract override /*1*/ /*fake_override*/ fun set(/*0*/ index: kotlin.Int, /*1*/ element: E!): E!
         public abstract override /*1*/ /*fake_override*/ fun size(): kotlin.Int
-        public abstract override /*1*/ /*fake_override*/ fun subList(/*0*/ fromIndex: kotlin.Int, /*1*/ toIndex: kotlin.Int): kotlin.MutableList<E>
+        public abstract override /*1*/ /*fake_override*/ fun subList(/*0*/ fromIndex: kotlin.Int, /*1*/ toIndex: kotlin.Int): kotlin.MutableList<E!>
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritNullabilityGenericSubclassSimple.txt

@@ -4,11 +4,11 @@ public trait InheritNullabilityGenericSubclassSimple {
 
     public trait Sub : test.InheritNullabilityGenericSubclassSimple.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritNullabilityJavaSubtype.txt

@@ -4,11 +4,11 @@ public trait InheritNullabilityJavaSubtype {
 
     public trait Sub : test.InheritNullabilityJavaSubtype.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritNullabilitySameGenericType.txt

@@ -4,11 +4,11 @@ public trait InheritNullabilitySameGenericType {
 
     public trait Sub : test.InheritNullabilitySameGenericType.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritNullabilitySameJavaType.txt

@@ -4,11 +4,11 @@ public trait InheritNullabilitySameJavaType {
 
     public trait Sub : test.InheritNullabilitySameJavaType.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.CharSequence
+        public abstract override /*1*/ fun foo(): kotlin.CharSequence!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritProjectionKind.txt

@@ -4,11 +4,11 @@ public trait InheritProjectionKind {
 
     public trait Sub : test.InheritProjectionKind.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableList<out kotlin.Number>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.Number!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<out kotlin.Number>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.Number!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritReadOnlinessOfArgument.txt

@@ -4,11 +4,11 @@ public trait InheritReadOnlinessOfArgument {
 
     public trait Sub : test.InheritReadOnlinessOfArgument.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.List<kotlin.List<kotlin.String>>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.List<kotlin.String>>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritReadOnlinessSameClass.txt

@@ -4,11 +4,11 @@ public trait InheritReadOnlinessSameClass {
 
     public trait Sub : test.InheritReadOnlinessSameClass.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.List<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/InheritReadOnlinessSubclass.txt

@@ -4,11 +4,11 @@ public trait InheritReadOnlinessSubclass {
 
     public trait Sub : test.InheritReadOnlinessSubclass.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.List<kotlin.String>
+        public abstract override /*1*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.Collection<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SameProjectionKind.txt

@@ -4,11 +4,11 @@ public trait SameProjectionKind {
 
     public trait Sub : test.SameProjectionKind.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.MutableCollection<out kotlin.Number?>?
+        public abstract override /*1*/ fun foo(): (kotlin.MutableCollection<out kotlin.Number!>..kotlin.Collection<kotlin.Number!>?)
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<out kotlin.Number?>?
+        public abstract fun foo(): (kotlin.MutableCollection<out kotlin.Number!>..kotlin.Collection<kotlin.Number!>?)
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubclassFromGenericAndNot.txt

@@ -4,16 +4,16 @@ public trait SubclassFromGenericAndNot {
 
     public trait Generic</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
 
     public trait NonGeneric {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.String?
+        public abstract fun foo(): kotlin.String!
     }
 
-    public trait Sub : test.SubclassFromGenericAndNot.NonGeneric, test.SubclassFromGenericAndNot.Generic<kotlin.String> {
+    public trait Sub : test.SubclassFromGenericAndNot.NonGeneric, test.SubclassFromGenericAndNot.Generic<kotlin.String!> {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.String
+        public abstract override /*2*/ fun foo(): kotlin.String!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubclassOfCollection.txt

@@ -1,15 +1,15 @@
 package test
 
-public trait SubclassOfCollection</*0*/ E> : kotlin.MutableCollection<E> {
-    public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E): kotlin.Boolean
-    public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<E>): kotlin.Boolean
+public trait SubclassOfCollection</*0*/ E> : kotlin.MutableCollection<E!> {
+    public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E!): kotlin.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: kotlin.Collection<E!>): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun clear(): kotlin.Unit
     public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun isEmpty(): kotlin.Boolean
-    public abstract override /*1*/ fun iterator(): kotlin.MutableIterator<E>
+    public abstract override /*1*/ fun iterator(): kotlin.(Mutable)Iterator<E!>!
     public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: kotlin.Any?): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun retainAll(/*0*/ c: kotlin.Collection<kotlin.Any?>): kotlin.Boolean
     public abstract override /*1*/ /*fake_override*/ fun size(): kotlin.Int
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubclassOfMapEntry.txt

@@ -1,7 +1,7 @@
 package test
 
-public trait SubclassOfMapEntry</*0*/ K, /*1*/ V> : kotlin.MutableMap.MutableEntry<K, V> {
-    public abstract override /*1*/ /*fake_override*/ fun getKey(): K
-    public abstract override /*1*/ /*fake_override*/ fun getValue(): V
-    public abstract override /*1*/ fun setValue(/*0*/ value: V): V
-}
+public trait SubclassOfMapEntry</*0*/ K, /*1*/ V> : kotlin.MutableMap.MutableEntry<K!, V!> {
+    public abstract override /*1*/ /*fake_override*/ fun getKey(): K!
+    public abstract override /*1*/ /*fake_override*/ fun getValue(): V!
+    public abstract override /*1*/ fun setValue(/*0*/ value: V!): V!
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubstitutedClassParameter.txt

@@ -2,13 +2,13 @@ package test
 
 public trait SubstitutedClassParameter {
 
-    public trait Sub : test.SubstitutedClassParameter.Super<kotlin.String> {
+    public trait Sub : test.SubstitutedClassParameter.Super<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/SubstitutedClassParameters.txt

@@ -2,18 +2,18 @@ package test
 
 public trait SubstitutedClassParameters {
 
-    public trait Sub : test.SubstitutedClassParameters.Super1<kotlin.String>, test.SubstitutedClassParameters.Super2<kotlin.String> {
+    public trait Sub : test.SubstitutedClassParameters.Super1<kotlin.String!>, test.SubstitutedClassParameters.Super2<kotlin.String!> {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.String
+        public abstract override /*2*/ fun foo(): kotlin.String!
     }
 
     public trait Super1</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
 
     public trait Super2</*0*/ E> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): E
+        public abstract fun foo(): E!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesConflictingProjectionKinds.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesConflictingProjectionKinds {
 
     public trait Sub : test.TwoSuperclassesConflictingProjectionKinds.Super1, test.TwoSuperclassesConflictingProjectionKinds.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.MutableCollection<kotlin.CharSequence>
+        public abstract override /*2*/ fun foo(): kotlin.(Mutable)Collection<kotlin.CharSequence!>!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<kotlin.CharSequence>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.CharSequence!>!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<out kotlin.CharSequence>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.CharSequence!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesInvariantAndCovariantInferMutability.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesInvariantAndCovariantInferMutability {
 
     public trait Sub : test.TwoSuperclassesInvariantAndCovariantInferMutability.Super1, test.TwoSuperclassesInvariantAndCovariantInferMutability.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.MutableList<kotlin.MutableList<kotlin.String>>
+        public abstract override /*2*/ fun foo(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.List<kotlin.String>>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableList<kotlin.MutableList<kotlin.String>>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.(Mutable)List<kotlin.String!>!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesInvariantAndCovariantInferNullability.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesInvariantAndCovariantInferNullability {
 
     public trait Sub : test.TwoSuperclassesInvariantAndCovariantInferNullability.Super1, test.TwoSuperclassesInvariantAndCovariantInferNullability.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*2*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.String?>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesMutableAndNot.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesMutableAndNot {
 
     public trait Sub : test.TwoSuperclassesMutableAndNot.Super1, test.TwoSuperclassesMutableAndNot.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.MutableList<kotlin.String>
+        public abstract override /*2*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.MutableCollection<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)Collection<kotlin.String!>!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.String>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesReturnJavaSubtype.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesReturnJavaSubtype {
 
     public trait Sub : test.TwoSuperclassesReturnJavaSubtype.Super1, test.TwoSuperclassesReturnJavaSubtype.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.String
+        public abstract override /*2*/ fun foo(): kotlin.String!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence?
+        public abstract fun foo(): kotlin.CharSequence!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesReturnSameJavaType.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesReturnSameJavaType {
 
     public trait Sub : test.TwoSuperclassesReturnSameJavaType.Super1, test.TwoSuperclassesReturnSameJavaType.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.CharSequence
+        public abstract override /*2*/ fun foo(): kotlin.CharSequence!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence?
+        public abstract fun foo(): kotlin.CharSequence!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.CharSequence
+        public abstract fun foo(): kotlin.CharSequence!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TwoSuperclassesSupplementNotNull.txt

@@ -4,16 +4,16 @@ public trait TwoSuperclassesSupplementNotNull {
 
     public trait Sub : test.TwoSuperclassesSupplementNotNull.Super1, test.TwoSuperclassesSupplementNotNull.Super2 {
         public abstract override /*2*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*2*/ fun foo(): kotlin.List<kotlin.String>
+        public abstract override /*2*/ fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super1 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.String?>
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
 
     public trait Super2 {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): kotlin.List<kotlin.String>?
+        public abstract fun foo(): kotlin.(Mutable)List<kotlin.String!>!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TypeParamOfClass.txt

@@ -2,13 +2,13 @@ package test
 
 public trait TypeParamOfClass {
 
-    public trait Sub</*0*/ T> : test.TypeParamOfClass.Super<T> {
+    public trait Sub</*0*/ T> : test.TypeParamOfClass.Super<T!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): T
+        public abstract override /*1*/ fun foo(): T!
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TypeParamOfClassSubstituted.txt

@@ -2,13 +2,13 @@ package test
 
 public trait TypeParamOfClassSubstituted {
 
-    public trait Sub : test.TypeParamOfClassSubstituted.Super<kotlin.String> {
+    public trait Sub : test.TypeParamOfClassSubstituted.Super<kotlin.String!> {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun foo(): kotlin.String
+        public abstract override /*1*/ fun foo(): kotlin.String!
     }
 
     public trait Super</*0*/ T> {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun foo(): T
+        public abstract fun foo(): T!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/return/TypeParamOfFun.txt

@@ -4,11 +4,11 @@ public trait TypeParamOfFun {
 
     public trait Sub : test.TypeParamOfFun.Super {
         public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
-        public abstract override /*1*/ fun </*0*/ E> foo(): E
+        public abstract override /*1*/ fun </*0*/ E> foo(): E!
     }
 
     public trait Super {
         public abstract fun dummy(): kotlin.Unit
-        public abstract fun </*0*/ T> foo(): T
+        public abstract fun </*0*/ T> foo(): T!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/InheritMutability.txt

@@ -3,10 +3,10 @@ package test
 public trait InheritMutability {
 
     public trait Sub : test.InheritMutability.Super {
-        public abstract override /*1*/ fun </*0*/ B : kotlin.MutableList<kotlin.String>> foo(/*0*/ a: B): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B : kotlin.(Mutable)List<kotlin.String!>!> foo(/*0*/ a: B!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A : kotlin.MutableList<kotlin.String>> foo(/*0*/ a: A): kotlin.Unit
+        public abstract fun </*0*/ A : kotlin.(Mutable)List<kotlin.String!>!> foo(/*0*/ a: A!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/InheritNullability.txt

@@ -3,10 +3,10 @@ package test
 public trait InheritNullability {
 
     public trait Sub : test.InheritNullability.Super {
-        public abstract override /*1*/ fun </*0*/ B : kotlin.CharSequence> foo(/*0*/ a: B): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B : kotlin.CharSequence!> foo(/*0*/ a: B!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A : kotlin.CharSequence> foo(/*0*/ a: A): kotlin.Unit
+        public abstract fun </*0*/ A : kotlin.CharSequence!> foo(/*0*/ a: A!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/InheritReadOnliness.txt

@@ -3,10 +3,10 @@ package test
 public trait InheritReadOnliness {
 
     public trait Sub : test.InheritReadOnliness.Super {
-        public abstract override /*1*/ fun </*0*/ B : kotlin.List<kotlin.String>> foo(/*0*/ a: B): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B : kotlin.(Mutable)List<kotlin.String!>!> foo(/*0*/ a: B!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A : kotlin.List<kotlin.String>> foo(/*0*/ a: A): kotlin.Unit
+        public abstract fun </*0*/ A : kotlin.(Mutable)List<kotlin.String!>!> foo(/*0*/ a: A!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/TwoBounds.txt

@@ -3,10 +3,10 @@ package test
 public trait TwoBounds {
 
     public trait Sub : test.TwoBounds.Super {
-        public abstract override /*1*/ fun </*0*/ B : kotlin.CharSequence> foo(/*0*/ a: B): kotlin.Unit where B : kotlin.Cloneable
+        public abstract override /*1*/ fun </*0*/ B : kotlin.CharSequence!> foo(/*0*/ a: B!): kotlin.Unit where B : kotlin.Cloneable!
     }
 
     public trait Super {
-        public abstract fun </*0*/ A : kotlin.CharSequence> foo(/*0*/ a: A): kotlin.Unit where A : kotlin.Cloneable
+        public abstract fun </*0*/ A : kotlin.CharSequence!> foo(/*0*/ a: A!): kotlin.Unit where A : kotlin.Cloneable!
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/TwoSuperclasses.txt

@@ -3,14 +3,14 @@ package test
 public trait TwoSuperclasses {
 
     public trait Sub : test.TwoSuperclasses.Super1, test.TwoSuperclasses.Super2 {
-        public abstract override /*2*/ fun </*0*/ C : kotlin.CharSequence> foo(/*0*/ a: C): kotlin.Unit
+        public abstract override /*2*/ fun </*0*/ C : kotlin.CharSequence!> foo(/*0*/ a: C!): kotlin.Unit
     }
 
     public trait Super1 {
-        public abstract fun </*0*/ A : kotlin.CharSequence> foo(/*0*/ a: A): kotlin.Unit
+        public abstract fun </*0*/ A : kotlin.CharSequence!> foo(/*0*/ a: A!): kotlin.Unit
     }
 
     public trait Super2 {
-        public abstract fun </*0*/ B : kotlin.CharSequence> foo(/*0*/ a: B): kotlin.Unit
+        public abstract fun </*0*/ B : kotlin.CharSequence!> foo(/*0*/ a: B!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/TwoTypeParameters.txt

@@ -3,10 +3,10 @@ package test
 public trait TwoTypeParameters {
 
     public trait Sub : test.TwoTypeParameters.Super {
-        public abstract override /*1*/ fun </*0*/ B : kotlin.CharSequence, /*1*/ A : kotlin.Cloneable> foo(/*0*/ a: B, /*1*/ b: A): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B : kotlin.CharSequence!, /*1*/ A : kotlin.Cloneable!> foo(/*0*/ a: B!, /*1*/ b: A!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A : kotlin.CharSequence, /*1*/ B : kotlin.Cloneable> foo(/*0*/ a: A, /*1*/ b: B): kotlin.Unit
+        public abstract fun </*0*/ A : kotlin.CharSequence!, /*1*/ B : kotlin.Cloneable!> foo(/*0*/ a: A!, /*1*/ b: B!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/UseParameterAsUpperBound.txt

@@ -3,10 +3,10 @@ package test
 public trait UseParameterAsUpperBound {
 
     public trait Sub : test.UseParameterAsUpperBound.Super {
-        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : B> foo(/*0*/ a: B, /*1*/ b: A): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : B!> foo(/*0*/ a: B!, /*1*/ b: A!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A, /*1*/ B : A> foo(/*0*/ a: A, /*1*/ b: B): kotlin.Unit
+        public abstract fun </*0*/ A, /*1*/ B : A!> foo(/*0*/ a: A!, /*1*/ b: B!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/UseParameterInUpperBound.txt

@@ -3,10 +3,10 @@ package test
 public trait UseParameterInUpperBound {
 
     public trait Sub : test.UseParameterInUpperBound.Super {
-        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : kotlin.List<B>> foo(/*0*/ a: B, /*1*/ b: A): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : kotlin.(Mutable)List<B!>!> foo(/*0*/ a: B!, /*1*/ b: A!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A, /*1*/ B : kotlin.List<A>> foo(/*0*/ a: A, /*1*/ b: B): kotlin.Unit
+        public abstract fun </*0*/ A, /*1*/ B : kotlin.(Mutable)List<A!>!> foo(/*0*/ a: A!, /*1*/ b: B!): kotlin.Unit
     }
-}
+}

compiler/testData/loadJava/compiledJava/kotlinSignature/propagation/typeParameter/UseParameterInUpperBoundWithKotlinSignature.txt

@@ -3,10 +3,10 @@ package test
 public trait UseParameterInUpperBoundWithKotlinSignature {
 
     public trait Sub : test.UseParameterInUpperBoundWithKotlinSignature.Super {
-        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : kotlin.List<B>> foo(/*0*/ b: B, /*1*/ a: A): kotlin.Unit
+        public abstract override /*1*/ fun </*0*/ B, /*1*/ A : kotlin.(Mutable)List<B!>!> foo(/*0*/ b: B!, /*1*/ a: A!): kotlin.Unit
     }
 
     public trait Super {
-        public abstract fun </*0*/ A, /*1*/ B : kotlin.List<A>> foo(/*0*/ a: A, /*1*/ b: B): kotlin.Unit
+        public abstract fun </*0*/ A, /*1*/ B : kotlin.(Mutable)List<A!>!> foo(/*0*/ a: A!, /*1*/ b: B!): kotlin.Unit
     }
-}
+}