[FE Test] Move FIR dumps for LoadCompiledKotlin tests close to original testdata

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/PropagateTypeArgumentNullable.fir.txt

@@ -0,0 +1,32 @@
+public abstract interface PropagateTypeArgumentNullable : R|kotlin/Any| {
+    public abstract interface Sub : R|test/PropagateTypeArgumentNullable.Super| {
+        public abstract fun invOutR(): R|kotlin/collections/MutableList<kotlin/collections/List<kotlin/String?>>|
+
+        public abstract fun invOutS(p: R|kotlin/collections/MutableList<kotlin/collections/List<kotlin/String?>>|): R|kotlin/Unit|
+
+        public abstract fun invR(): R|kotlin/collections/MutableList<kotlin/String?>|
+
+        public abstract fun outOutS(p: R|kotlin/collections/List<kotlin/collections/List<kotlin/String?>>|): R|kotlin/Unit|
+
+        public abstract fun outR(): R|kotlin/collections/List<kotlin/String?>|
+
+        public abstract fun outS(p: R|kotlin/collections/List<kotlin/String?>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun invOutR(): R|kotlin/collections/MutableList<kotlin/collections/List<kotlin/String?>>|
+
+        public abstract fun invOutS(p: R|kotlin/collections/MutableList<kotlin/collections/List<kotlin/String?>>|): R|kotlin/Unit|
+
+        public abstract fun invR(): R|kotlin/collections/MutableList<kotlin/String?>|
+
+        public abstract fun outOutS(p: R|kotlin/collections/List<kotlin/collections/List<kotlin/String?>>|): R|kotlin/Unit|
+
+        public abstract fun outR(): R|kotlin/collections/List<kotlin/String?>|
+
+        public abstract fun outS(p: R|kotlin/collections/List<kotlin/String?>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/ChangeProjectionKind1.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface ChangeProjectionKind1 : R|kotlin/Any| {
+    public abstract interface Sub : R|test/ChangeProjectionKind1.Super| {
+        public abstract fun foo(p: R|kotlin/collections/MutableList<in kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/MutableList<in kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/ChangeProjectionKind2.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface ChangeProjectionKind2 : R|kotlin/Any| {
+    public abstract interface Sub : R|test/ChangeProjectionKind2.Super| {
+        public abstract fun foo(p: R|kotlin/collections/MutableList<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/MutableList<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/DeeplySubstitutedClassParameter.fir.txt

@@ -0,0 +1,19 @@
+public abstract interface DeeplySubstitutedClassParameter : R|kotlin/Any| {
+    public abstract interface Middle<E> : R|test/DeeplySubstitutedClassParameter.Super<E>| {
+        public abstract fun foo(t: R|E|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Sub : R|test/DeeplySubstitutedClassParameter.Middle<kotlin/String>| {
+        public abstract fun foo(t: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(t: R|T|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/DeeplySubstitutedClassParameter2.fir.txt

@@ -0,0 +1,17 @@
+public abstract interface DeeplySubstitutedClassParameter2 : R|kotlin/Any| {
+    public abstract interface Middle<E> : R|test/DeeplySubstitutedClassParameter2.Super<E>| {
+    }
+
+    public abstract interface Sub : R|test/DeeplySubstitutedClassParameter2.Middle<kotlin/String>| {
+        public abstract fun foo(t: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(t: R|T|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritMutability.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritMutability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritMutability.Super| {
+        public abstract fun foo(p: R|kotlin/collections/MutableList<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/MutableList<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritNotVararg.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNotVararg : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNotVararg.Super| {
+        public abstract fun foo(p0: R|kotlin/Array<out kotlin/String>?|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/Array<out kotlin/String>?|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritNotVarargInteger.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNotVarargInteger : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNotVarargInteger.Super| {
+        public abstract fun foo(p0: R|kotlin/Array<out kotlin/Int>?|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/Array<out kotlin/Int>?|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritNotVarargNotNull.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNotVarargNotNull : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNotVarargNotNull.Super| {
+        public abstract fun foo(p: R|kotlin/Array<out kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/Array<out kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritNotVarargPrimitive.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNotVarargPrimitive : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNotVarargPrimitive.Super| {
+        public abstract fun foo(p0: R|kotlin/IntArray?|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/IntArray?|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritNullability.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNullability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullability.Super| {
+        public abstract fun foo(p0: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritProjectionKind.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritProjectionKind : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritProjectionKind.Super| {
+        public abstract fun foo(p: R|kotlin/collections/MutableList<in kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/MutableList<in kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritReadOnliness.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritReadOnliness : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritReadOnliness.Super| {
+        public abstract fun foo(p: R|kotlin/collections/List<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/List<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritVararg.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritVararg : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritVararg.Super| {
+        public abstract fun foo(vararg p0: R|kotlin/Array<out kotlin/String?>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(vararg p0: R|kotlin/Array<out kotlin/String?>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritVarargInteger.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritVarargInteger : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritVarargInteger.Super| {
+        public abstract fun foo(vararg p0: R|kotlin/Array<out kotlin/Int?>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(vararg p0: R|kotlin/Array<out kotlin/Int?>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritVarargNotNull.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritVarargNotNull : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritVarargNotNull.Super| {
+        public abstract fun foo(vararg p: R|kotlin/Array<out kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(vararg p: R|kotlin/Array<out kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/InheritVarargPrimitive.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritVarargPrimitive : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritVarargPrimitive.Super| {
+        public abstract fun foo(vararg p0: R|kotlin/IntArray|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(vararg p0: R|kotlin/IntArray|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/Kt3302.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface Kt3302 : R|kotlin/Any| {
+    public abstract interface BSONObject : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun put(p0: R|kotlin/String|, p1: R|kotlin/Any|): R|kotlin/Any?|
+
+    }
+
+    public abstract interface BasicBSONObject : R|test/Kt3302.LinkedHashMap<kotlin/String, kotlin/Any>|, R|test/Kt3302.BSONObject| {
+        public abstract fun put(key: R|kotlin/String|, value: R|kotlin/Any|): R|kotlin/Any?|
+
+    }
+
+    public abstract interface LinkedHashMap<K, V> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun put(key: R|K|, value: R|V|): R|V?|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/MutableToReadOnly.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface MutableToReadOnly : R|kotlin/Any| {
+    public abstract interface Sub : R|test/MutableToReadOnly.Super| {
+        public abstract fun foo(p: R|kotlin/collections/MutableList<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/MutableList<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/NotNullToNullable.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface NotNullToNullable : R|kotlin/Any| {
+    public abstract interface Sub : R|test/NotNullToNullable.Super| {
+        public abstract fun foo(p0: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/NullableToNotNull.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface NullableToNotNull : R|kotlin/Any| {
+    public abstract interface Sub : R|test/NullableToNotNull.Super| {
+        public abstract fun foo(p0: R|kotlin/String?|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/String?|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/NullableToNotNullKotlinSignature.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface NullableToNotNullKotlinSignature : R|kotlin/Any| {
+    public abstract interface Sub : R|test/NullableToNotNullKotlinSignature.Super| {
+        public abstract fun foo(p: R|kotlin/String?|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/String?|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/OverrideWithErasedParameter.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface OverrideWithErasedParameter : R|kotlin/Any| {
+    public abstract interface Sub<T> : R|test/OverrideWithErasedParameter.Super<T>| {
+        public abstract fun foo(p0: R|T?|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|T?|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/ReadOnlyToMutable.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface ReadOnlyToMutable : R|kotlin/Any| {
+    public abstract interface Sub : R|test/ReadOnlyToMutable.Super| {
+        public abstract fun foo(p: R|kotlin/collections/List<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p: R|kotlin/collections/List<kotlin/String>|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/SubclassFromGenericAndNot.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface SubclassFromGenericAndNot : R|kotlin/Any| {
+    public abstract interface Generic<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(key: R|T|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface NonGeneric : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(p0: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Sub : R|test/SubclassFromGenericAndNot.NonGeneric|, R|test/SubclassFromGenericAndNot.Generic<kotlin/String>| {
+        public abstract fun foo(key: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/SubstitutedClassParameter.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface SubstitutedClassParameter : R|kotlin/Any| {
+    public abstract interface Sub : R|test/SubstitutedClassParameter.Super<kotlin/String>| {
+        public abstract fun foo(t: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(t: R|T|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/parameter/SubstitutedClassParameters.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface SubstitutedClassParameters : R|kotlin/Any| {
+    public abstract interface Sub : R|test/SubstitutedClassParameters.Super1<kotlin/String>|, R|test/SubstitutedClassParameters.Super2<kotlin/String>| {
+        public abstract fun foo(t: R|kotlin/String|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super1<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(t: R|T|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super2<E> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(t: R|E|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/AddNotNullJavaSubtype.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface AddNotNullJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNotNullJavaSubtype.Super| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence?|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/AddNotNullSameJavaType.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface AddNotNullSameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNotNullSameJavaType.Super| {
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence?|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/AddNullabilityJavaSubtype.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface AddNullabilityJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNullabilityJavaSubtype.Super| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/AddNullabilitySameGenericType1.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface AddNullabilitySameGenericType1 : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNullabilitySameGenericType1.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/AddNullabilitySameGenericType2.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface AddNullabilitySameGenericType2 : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNullabilitySameGenericType2.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/AddNullabilitySameJavaType.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface AddNullabilitySameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNullabilitySameJavaType.Super| {
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/CantMakeImmutableInSubclass.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface CantMakeImmutableInSubclass : R|kotlin/Any| {
+    public abstract interface Sub : R|test/CantMakeImmutableInSubclass.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/DeeplySubstitutedClassParameter.fir.txt

@@ -0,0 +1,19 @@
+public abstract interface DeeplySubstitutedClassParameter : R|kotlin/Any| {
+    public abstract interface Middle<E> : R|test/DeeplySubstitutedClassParameter.Super<E>| {
+        public abstract fun foo(): R|E|
+
+    }
+
+    public abstract interface Sub : R|test/DeeplySubstitutedClassParameter.Middle<kotlin/String>| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/DeeplySubstitutedClassParameter2.fir.txt

@@ -0,0 +1,17 @@
+public abstract interface DeeplySubstitutedClassParameter2 : R|kotlin/Any| {
+    public abstract interface Middle<E> : R|test/DeeplySubstitutedClassParameter2.Super<E>| {
+    }
+
+    public abstract interface Sub : R|test/DeeplySubstitutedClassParameter2.Middle<kotlin/String>| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/HalfSubstitutedTypeParameters.fir.txt

@@ -0,0 +1,17 @@
+public abstract interface HalfSubstitutedTypeParameters : R|kotlin/Any| {
+    public abstract interface Sub : R|test/HalfSubstitutedTypeParameters.Super| {
+        public abstract fun foo(): R|test/HalfSubstitutedTypeParameters.TrickyList<kotlin/Int, kotlin/String?>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String?>|
+
+    }
+
+    public abstract interface TrickyList<X, E> : R|kotlin/collections/MutableList<E>| {
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritNullabilityGenericSubclassSimple.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNullabilityGenericSubclassSimple : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullabilityGenericSubclassSimple.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritNullabilityJavaSubtype.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNullabilityJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullabilityJavaSubtype.Super| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritNullabilitySameGenericType.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNullabilitySameGenericType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullabilitySameGenericType.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritNullabilitySameJavaType.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritNullabilitySameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullabilitySameJavaType.Super| {
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritProjectionKind.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritProjectionKind : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritProjectionKind.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<out kotlin/Number>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<out kotlin/Number>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritReadOnlinessOfArgument.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritReadOnlinessOfArgument : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritReadOnlinessOfArgument.Super| {
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/collections/List<kotlin/String>>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/collections/List<kotlin/String>>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritReadOnlinessSameClass.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritReadOnlinessSameClass : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritReadOnlinessSameClass.Super| {
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/InheritReadOnlinessSubclass.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface InheritReadOnlinessSubclass : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritReadOnlinessSubclass.Super| {
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String>|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/Collection<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SameProjectionKind.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface SameProjectionKind : R|kotlin/Any| {
+    public abstract interface Sub : R|test/SameProjectionKind.Super| {
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<out kotlin/Number?>?|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<out kotlin/Number?>?|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubclassFromGenericAndNot.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface SubclassFromGenericAndNot : R|kotlin/Any| {
+    public abstract interface Generic<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+    public abstract interface NonGeneric : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/String?|
+
+    }
+
+    public abstract interface Sub : R|test/SubclassFromGenericAndNot.NonGeneric|, R|test/SubclassFromGenericAndNot.Generic<kotlin/String>| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubclassOfCollection.fir.txt

@@ -0,0 +1,4 @@
+public abstract interface SubclassOfCollection<E> : R|kotlin/collections/MutableCollection<E>| {
+    public abstract operator fun iterator(): R|kotlin/collections/MutableIterator<E>|
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubclassOfMapEntry.fir.txt

@@ -0,0 +1,7 @@
+public abstract interface SubclassOfMapEntry<K, V> : R|kotlin/collections/MutableMap.MutableEntry<K, V>| {
+    public abstract fun setValue(value: R|V|): R|V|
+
+    public abstract val value: R|V|
+        public get(): R|V|
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubstitutedClassParameter.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface SubstitutedClassParameter : R|kotlin/Any| {
+    public abstract interface Sub : R|test/SubstitutedClassParameter.Super<kotlin/String>| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/SubstitutedClassParameters.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface SubstitutedClassParameters : R|kotlin/Any| {
+    public abstract interface Sub : R|test/SubstitutedClassParameters.Super1<kotlin/String>|, R|test/SubstitutedClassParameters.Super2<kotlin/String>| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super1<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+    public abstract interface Super2<E> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|E|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesConflictingProjectionKinds.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesConflictingProjectionKinds : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesConflictingProjectionKinds.Super1|, R|test/TwoSuperclassesConflictingProjectionKinds.Super2| {
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<kotlin/CharSequence>|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<kotlin/CharSequence>|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<out kotlin/CharSequence>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesInvariantAndCovariantInferMutability.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesInvariantAndCovariantInferMutability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesInvariantAndCovariantInferMutability.Super1|, R|test/TwoSuperclassesInvariantAndCovariantInferMutability.Super2| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/collections/MutableList<kotlin/String>>|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/collections/List<kotlin/String>>|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/collections/MutableList<kotlin/String>>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesInvariantAndCovariantInferNullability.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesInvariantAndCovariantInferNullability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesInvariantAndCovariantInferNullability.Super1|, R|test/TwoSuperclassesInvariantAndCovariantInferNullability.Super2| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String?>|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesMutableAndNot.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesMutableAndNot : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesMutableAndNot.Super1|, R|test/TwoSuperclassesMutableAndNot.Super2| {
+        public abstract fun foo(): R|kotlin/collections/MutableList<kotlin/String>|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/MutableCollection<kotlin/String>|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String>|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesReturnJavaSubtype.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesReturnJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesReturnJavaSubtype.Super1|, R|test/TwoSuperclassesReturnJavaSubtype.Super2| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence?|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesReturnSameJavaType.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesReturnSameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesReturnSameJavaType.Super1|, R|test/TwoSuperclassesReturnSameJavaType.Super2| {
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence?|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/CharSequence|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TwoSuperclassesSupplementNotNull.fir.txt

@@ -0,0 +1,21 @@
+public abstract interface TwoSuperclassesSupplementNotNull : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesSupplementNotNull.Super1|, R|test/TwoSuperclassesSupplementNotNull.Super2| {
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String>|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String?>|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|kotlin/collections/List<kotlin/String>?|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TypeParamOfClass.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface TypeParamOfClass : R|kotlin/Any| {
+    public abstract interface Sub<T> : R|test/TypeParamOfClass.Super<T>| {
+        public abstract fun foo(): R|T|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TypeParamOfClassSubstituted.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface TypeParamOfClassSubstituted : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TypeParamOfClassSubstituted.Super<kotlin/String>| {
+        public abstract fun foo(): R|kotlin/String|
+
+    }
+
+    public abstract interface Super<T> : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun foo(): R|T|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/return/TypeParamOfFun.fir.txt

@@ -0,0 +1,14 @@
+public abstract interface TypeParamOfFun : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TypeParamOfFun.Super| {
+        public abstract fun <E> foo(): R|E|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun dummy(): R|kotlin/Unit|
+
+        public abstract fun <T> foo(): R|T|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/InheritMutability.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface InheritMutability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritMutability.Super| {
+        public abstract fun <B : R|kotlin/collections/MutableList<kotlin/String>|> foo(a: R|B|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A : R|kotlin/collections/MutableList<kotlin/String>|> foo(a: R|A|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/InheritNullability.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface InheritNullability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullability.Super| {
+        public abstract fun <B : R|kotlin/CharSequence|> foo(a: R|B|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A : R|kotlin/CharSequence|> foo(a: R|A|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/InheritReadOnliness.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface InheritReadOnliness : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritReadOnliness.Super| {
+        public abstract fun <B : R|kotlin/collections/List<kotlin/String>|> foo(a: R|B|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A : R|kotlin/collections/List<kotlin/String>|> foo(a: R|A|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/TwoBounds.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface TwoBounds : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoBounds.Super| {
+        public abstract fun <B : R|kotlin/CharSequence|, R|kotlin/Cloneable|> foo(a: R|B|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A : R|kotlin/CharSequence|, R|kotlin/Cloneable|> foo(a: R|A|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/TwoSuperclasses.fir.txt

@@ -0,0 +1,17 @@
+public abstract interface TwoSuperclasses : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclasses.Super1|, R|test/TwoSuperclasses.Super2| {
+        public abstract fun <C : R|kotlin/CharSequence|> foo(a: R|C|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun <A : R|kotlin/CharSequence|> foo(a: R|A|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun <B : R|kotlin/CharSequence|> foo(a: R|B|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/TwoTypeParameters.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface TwoTypeParameters : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoTypeParameters.Super| {
+        public abstract fun <B : R|kotlin/CharSequence|, A : R|kotlin/Cloneable|> foo(a: R|B|, b: R|A|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A : R|kotlin/CharSequence|, B : R|kotlin/Cloneable|> foo(a: R|A|, b: R|B|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/UseParameterAsUpperBound.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface UseParameterAsUpperBound : R|kotlin/Any| {
+    public abstract interface Sub : R|test/UseParameterAsUpperBound.Super| {
+        public abstract fun <B, A : R|B|> foo(a: R|B|, b: R|A|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A, B : R|A|> foo(a: R|A|, b: R|B|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/UseParameterInUpperBound.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface UseParameterInUpperBound : R|kotlin/Any| {
+    public abstract interface Sub : R|test/UseParameterInUpperBound.Super| {
+        public abstract fun <B, A : R|kotlin/collections/List<B>|> foo(a: R|B|, b: R|A|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A, B : R|kotlin/collections/List<A>|> foo(a: R|A|, b: R|B|): R|kotlin/Unit|
+
+    }
+
+}

compiler/testData/loadJava/compiledKotlin/fromLoadJava/kotlinSignature/propagation/typeParameter/UseParameterInUpperBoundWithKotlinSignature.fir.txt

@@ -0,0 +1,12 @@
+public abstract interface UseParameterInUpperBoundWithKotlinSignature : R|kotlin/Any| {
+    public abstract interface Sub : R|test/UseParameterInUpperBoundWithKotlinSignature.Super| {
+        public abstract fun <B, A : R|kotlin/collections/List<B>|> foo(b: R|B|, a: R|A|): R|kotlin/Unit|
+
+    }
+
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun <A, B : R|kotlin/collections/List<A>|> foo(a: R|A|, b: R|B|): R|kotlin/Unit|
+
+    }
+
+}