FIR: dump nested classes in loadJava tests

Because those test are single Java files, many of them use a top-level
class as a container for multiple classes to be tested. Such tests do
almost nothing if those nested classes aren't handled.

compiler/testData/loadJava/compiledJava/ArrayInGenericArguments.fir.txt

@@ -7,4 +7,8 @@ public open class ArrayInGenericArguments : R|kotlin/Any| {
 
     public constructor(): R|ArrayInGenericArguments|
 
+    public open class DataKey<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public constructor<T : R|ft<kotlin/Any, kotlin/Any?>|>(): R|ArrayInGenericArguments.DataKey<T>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/InheritMethodsDifferentReturnTypes.fir.txt

@@ -1,4 +1,18 @@
 public final class InheritMethodsDifferentReturnTypes : R|kotlin/Any| {
     public constructor(): R|test/InheritMethodsDifferentReturnTypes|
 
+    public abstract interface Sub : R|test/InheritMethodsDifferentReturnTypes.Super1|, R|test/InheritMethodsDifferentReturnTypes.Super2| {
+    }
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/CharSequence, kotlin/CharSequence?>|
+
+        public abstract fun bar(): R|ft<kotlin/String, kotlin/String?>|
+
+    }
+    public abstract interface Super2 : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/String, kotlin/String?>|
+
+        public abstract fun bar(): R|ft<kotlin/CharSequence, kotlin/CharSequence?>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/InheritMethodsDifferentReturnTypesGeneric.fir.txt

@@ -1,4 +1,18 @@
 public final class InheritMethodsDifferentReturnTypesGeneric : R|kotlin/Any| {
     public constructor(): R|test/InheritMethodsDifferentReturnTypesGeneric|
 
+    public abstract interface Sub : R|test/InheritMethodsDifferentReturnTypesGeneric.Super1<ft<kotlin/String, kotlin/String?>, ft<kotlin/CharSequence, kotlin/CharSequence?>>|, R|test/InheritMethodsDifferentReturnTypesGeneric.Super2<ft<kotlin/CharSequence, kotlin/CharSequence?>, ft<kotlin/String, kotlin/String?>>| {
+    }
+    public abstract interface Super1<F : R|ft<kotlin/Any, kotlin/Any?>|, B : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<F, F?>|
+
+        public abstract fun bar(): R|ft<B, B?>|
+
+    }
+    public abstract interface Super2<FF : R|ft<kotlin/Any, kotlin/Any?>|, BB : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<FF, FF?>|
+
+        public abstract fun bar(): R|ft<BB, BB?>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/InnerClass.fir.txt

@@ -1,4 +1,8 @@
 public open class InnerClass : R|kotlin/Any| {
     public constructor(): R|test/InnerClass|
 
+    public open inner class Inner : R|kotlin/Any| {
+        public constructor(): R|test/InnerClass.Inner|
+
+    }
 }

compiler/testData/loadJava/compiledJava/InnerClassReferencesOuterTP.fir.txt

@@ -1,4 +1,8 @@
 public open class InnerClassReferencesOuterTP<P : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
     public constructor<P : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerClassReferencesOuterTP<P>|
 
+    public open inner class Inner<Q : R|ft<P, P?>|, P : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public constructor<Q : R|ft<P, P?>|>(): R|test/InnerClassReferencesOuterTP.Inner<Q, P>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/InnerClassTypeMultipleGeneric.fir.txt

@@ -3,4 +3,22 @@ public open class InnerClassTypeMultipleGeneric : R|kotlin/Any| {
 
     public constructor(): R|test/InnerClassTypeMultipleGeneric|
 
+    public open inner class BaseOuter<H1 : R|ft<kotlin/Any, kotlin/Any?>|, H2 : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public constructor<H1 : R|ft<kotlin/Any, kotlin/Any?>|, H2 : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerClassTypeMultipleGeneric.BaseOuter<H1, H2>|
+
+        public abstract inner class BaseInner<H3 : R|ft<kotlin/Any, kotlin/Any?>|, H4 : R|ft<kotlin/Any, kotlin/Any?>|, H1 : R|ft<kotlin/Any, kotlin/Any?>|, H2 : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+            public constructor<H3 : R|ft<kotlin/Any, kotlin/Any?>|, H4 : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerClassTypeMultipleGeneric.BaseOuter.BaseInner<H3, H4, H1, H2>|
+
+        }
+    }
+    public open inner class Outer<E1 : R|ft<kotlin/Any, kotlin/Any?>|, E2 : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/InnerClassTypeMultipleGeneric.BaseOuter<ft<kotlin/Int, kotlin/Int?>, ft<E1, E1?>>| {
+        public open fun bar(): R|ft<test/InnerClassTypeMultipleGeneric.BaseOuter.BaseInner<ft<java/lang/Class<*>, java/lang/Class<*>?>, ft<kotlin/CharSequence, kotlin/CharSequence?>, ft<kotlin/Int, kotlin/Int?>, ft<E1, E1?>>, test/InnerClassTypeMultipleGeneric.BaseOuter.BaseInner<ft<java/lang/Class<*>, java/lang/Class<*>?>, ft<kotlin/CharSequence, kotlin/CharSequence?>, ft<kotlin/Int, kotlin/Int?>, ft<E1, E1?>>?>|
+
+        public constructor<E1 : R|ft<kotlin/Any, kotlin/Any?>|, E2 : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerClassTypeMultipleGeneric.Outer<E1, E2>|
+
+        public open inner class Inner<E3 : R|ft<kotlin/Any, kotlin/Any?>|, E1 : R|ft<kotlin/Any, kotlin/Any?>|, E2 : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/InnerClassTypeMultipleGeneric.BaseOuter.BaseInner<ft<kotlin/Double, kotlin/Double?>, ft<kotlin/String, kotlin/String?>, ft<E2, E2?>, ft<E3, E3?>>| {
+            public constructor<E3 : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerClassTypeMultipleGeneric.Outer.Inner<E3, E1, E2>|
+
+        }
+    }
 }

compiler/testData/loadJava/compiledJava/InnerClassesInGeneric.fir.txt

@@ -1,4 +1,14 @@
 public open class InnerClassesInGeneric<P : R|ft<kotlin/Any, kotlin/Any?>|, Q : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
     public constructor<P : R|ft<kotlin/Any, kotlin/Any?>|, Q : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerClassesInGeneric<P, Q>|
 
+    public open inner class Inner<P : R|ft<kotlin/Any, kotlin/Any?>|, Q : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public constructor(): R|test/InnerClassesInGeneric.Inner<P, Q>|
+
+    }
+    public open inner class Inner2<P : R|ft<kotlin/Any, kotlin/Any?>|, Q : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/InnerClassesInGeneric.Inner<ft<P, P?>, ft<Q, Q?>>| {
+        public open operator fun iterator(): R|ft<kotlin/collections/MutableIterator<ft<P, P?>>, kotlin/collections/Iterator<ft<P, P?>>?>|
+
+        public constructor(): R|test/InnerClassesInGeneric.Inner2<P, Q>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/InnerOfGeneric.fir.txt

@@ -1,4 +1,28 @@
 public open class InnerOfGeneric : R|kotlin/Any| {
     public constructor(): R|test/InnerOfGeneric|
 
+    public abstract inner class A<K : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public constructor<K : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerOfGeneric.A<K>|
+
+        public abstract inner class Inner<K : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/InnerOfGeneric.S<ft<K, K?>>| {
+            public constructor(): R|test/InnerOfGeneric.A.Inner<K>|
+
+        }
+    }
+    public open inner class B<L : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/InnerOfGeneric.A<ft<L, L?>>| {
+        public constructor<L : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerOfGeneric.B<L>|
+
+        public open inner class SubInner<L : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/InnerOfGeneric.A.Inner<ft<L, L?>>| {
+            @R|java/lang/Override|() public open operator fun iterator(): R|ft<kotlin/collections/MutableIterator<ft<L, L?>>, kotlin/collections/Iterator<ft<L, L?>>?>|
+
+            public constructor(): R|test/InnerOfGeneric.B.SubInner<L>|
+
+        }
+    }
+    public open inner class S<E : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public open operator fun iterator(): R|ft<kotlin/collections/MutableIterator<ft<E, E?>>, kotlin/collections/Iterator<ft<E, E?>>?>|
+
+        public constructor<E : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/InnerOfGeneric.S<E>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/MethodReferencesOuterClassTP.fir.txt

@@ -1,4 +1,10 @@
 public final class MethodReferencesOuterClassTP<P : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
     public constructor<P : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/MethodReferencesOuterClassTP<P>|
 
+    public final inner class Inner<P : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public final fun <Q : R|ft<P, P?>|> f(): R|kotlin/Unit|
+
+        public constructor(): R|test/MethodReferencesOuterClassTP.Inner<P>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/NestedClass.fir.txt

@@ -1,4 +1,8 @@
 public open class NestedClass : R|kotlin/Any| {
     public constructor(): R|test/NestedClass|
 
+    public open class Nested : R|kotlin/Any| {
+        public constructor(): R|test/NestedClass.Nested|
+
+    }
 }

compiler/testData/loadJava/compiledJava/OverrideMethod.fir.txt

@@ -1,4 +1,26 @@
 public open class OverrideMethod : R|kotlin/Any| {
     public constructor(): R|test/OverrideMethod|
 
+    public/*package*/ open inner class Base : R|test/OverrideMethod.SuperBase| {
+        public/*package*/ open fun foo(s: R|ft<kotlin/String, kotlin/String?>|): R|ft<kotlin/String, kotlin/String?>|
+
+        public/*package*/ open fun bar(): R|kotlin/Unit|
+
+        public/*package*/ constructor(): R|test/OverrideMethod.Base|
+
+    }
+    public/*package*/ open inner class Derived : R|test/OverrideMethod.Base| {
+        @R|java/lang/Override|() public/*package*/ open fun foo(s: R|ft<kotlin/String, kotlin/String?>|): R|ft<kotlin/String, kotlin/String?>|
+
+        public/*package*/ open fun baz(): R|kotlin/Unit|
+
+        public/*package*/ constructor(): R|test/OverrideMethod.Derived|
+
+    }
+    public/*package*/ open inner class SuperBase : R|kotlin/Any| {
+        public/*package*/ open fun quux(x: R|kotlin/Int|): R|kotlin/Unit|
+
+        public/*package*/ constructor(): R|test/OverrideMethod.SuperBase|
+
+    }
 }

compiler/testData/loadJava/compiledJava/PrivateMembers.fir.txt

@@ -9,4 +9,14 @@ public open class PrivateMembers : R|kotlin/Any| {
 
     private constructor(): R|test/PrivateMembers|
 
+    private open inner class Inner : R|kotlin/Any| {
+        private constructor(): R|test/PrivateMembers.Inner|
+
+    }
+    private open class Nested : R|kotlin/Any| {
+        private open static fun staticMethodInNested(): R|kotlin/Unit|
+
+        private constructor(): R|test/PrivateMembers.Nested|
+
+    }
 }

compiler/testData/loadJava/compiledJava/PrivateMembersInHierarchy.fir.txt

@@ -1,4 +1,22 @@
 public open class PrivateMembersInHierarchy : R|kotlin/Any| {
     public constructor(): R|test/PrivateMembersInHierarchy|
 
+    public open class Sub : R|test/PrivateMembersInHierarchy.Super| {
+        private open field field: R|kotlin/Int|
+
+        private open fun method(): R|kotlin/Unit|
+
+        public constructor(): R|test/PrivateMembersInHierarchy.Sub|
+
+    }
+    public open class Super : R|kotlin/Any| {
+        private open field field: R|kotlin/Int|
+
+        private open field field2: R|kotlin/Int|
+
+        private open fun method(): R|kotlin/Unit|
+
+        public constructor(): R|test/PrivateMembersInHierarchy.Super|
+
+    }
 }

compiler/testData/loadJava/compiledJava/RawOverrides.fir.txt

@@ -1,4 +1,28 @@
 public open class RawOverrides : R|kotlin/Any| {
     public constructor(): R|test/RawOverrides|
 
+    public abstract interface A<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public abstract fun <E : R|ft<kotlin/CharSequence, kotlin/CharSequence?>|> foo(x: R|ft<T, T?>|, y: R|ft<kotlin/collections/MutableList<out ft<T, T?>>, kotlin/collections/List<out ft<T, T?>>?>|): R|ft<E, E?>|
+
+    }
+    public open inner class B : R|kotlin/Any|, R|test/RawOverrides.A<ft<kotlin/Any, kotlin/Any?>>| {
+        @R|java/lang/Override|() public open fun foo(x: R|ft<kotlin/Any, kotlin/Any?>|, y: R|ft<kotlin/collections/MutableList<kotlin/Any?>, kotlin/collections/List<*>?>|): R|ft<kotlin/String, kotlin/String?>|
+
+        public constructor(): R|test/RawOverrides.B|
+
+    }
+    public open inner class C : R|kotlin/Any| {
+        public/*package*/ open fun <E : R|ft<kotlin/CharSequence, kotlin/CharSequence?>|, F : R|ft<E, E?>|> bar(x: R|ft<F, F?>|, y: R|ft<kotlin/collections/MutableList<ft<kotlin/collections/MutableMap<ft<E, E?>, ft<F, F?>>, kotlin/collections/Map<ft<E, E?>, ft<F, F?>>?>>, kotlin/collections/List<ft<kotlin/collections/MutableMap<ft<E, E?>, ft<F, F?>>, kotlin/collections/Map<ft<E, E?>, ft<F, F?>>?>>?>|): R|ft<E, E?>|
+
+        public constructor(): R|test/RawOverrides.C|
+
+    }
+    public open inner class D : R|test/RawOverrides.C| {
+        @R|java/lang/Override|() public open fun bar(x: R|ft<kotlin/CharSequence, kotlin/CharSequence?>|, y: R|ft<kotlin/collections/MutableList<kotlin/Any?>, kotlin/collections/List<*>?>|): R|ft<kotlin/String, kotlin/String?>|
+
+        public/*package*/ open fun <E : R|ft<kotlin/CharSequence, kotlin/CharSequence?>|, F : R|ft<E, E?>|> bar(x: R|ft<F, F?>|, y: R|ft<kotlin/collections/MutableList<ft<kotlin/collections/MutableMap<ft<E, E?>, ft<F, F?>>, kotlin/collections/Map<ft<E, E?>, ft<F, F?>>?>>, kotlin/collections/List<ft<kotlin/collections/MutableMap<ft<E, E?>, ft<F, F?>>, kotlin/collections/Map<ft<E, E?>, ft<F, F?>>?>>?>|): R|ft<E, E?>|
+
+        public constructor(): R|test/RawOverrides.D|
+
+    }
 }

compiler/testData/loadJava/compiledJava/RawTypeWithUpperBound.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface RawTypeWithUpperBound : R|kotlin/Any| {
+    public abstract interface Bar : R|kotlin/Any| {
+        public abstract fun f(f: R|ft<test/RawTypeWithUpperBound.Foo<ft<kotlin/CharSequence, kotlin/CharSequence?>>, test/RawTypeWithUpperBound.Foo<*>?>|): R|kotlin/Unit|
+
+        public abstract fun g(f: R|ft<kotlin/collections/MutableList<ft<test/RawTypeWithUpperBound.Foo<ft<kotlin/CharSequence, kotlin/CharSequence?>>, test/RawTypeWithUpperBound.Foo<*>?>>, kotlin/collections/List<ft<test/RawTypeWithUpperBound.Foo<ft<kotlin/CharSequence, kotlin/CharSequence?>>, test/RawTypeWithUpperBound.Foo<*>?>>?>|): R|kotlin/Unit|
+
+    }
+    public abstract interface Foo<T : R|ft<kotlin/CharSequence, kotlin/CharSequence?>|> : R|kotlin/Any| {
+    }
 }

compiler/testData/loadJava/compiledJava/UnboundWildcard.fir.txt

@@ -5,4 +5,6 @@ public final class UnboundWildcard : R|kotlin/Any| {
 
     public constructor(): R|test/UnboundWildcard|
 
+    public abstract interface MyClass<T : R|ft<kotlin/CharSequence, kotlin/CharSequence?>|> : R|kotlin/Any| {
+    }
 }

compiler/testData/loadJava/compiledJava/WildcardBounds.fir.txt

@@ -3,4 +3,8 @@ public open class WildcardBounds : R|kotlin/Any| {
 
     public constructor(): R|test/WildcardBounds|
 
+    public/*package*/ open class A<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public/*package*/ constructor<T : R|ft<kotlin/Any, kotlin/Any?>|>(): R|test/WildcardBounds.A<T>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedConstructor.fir.txt

@@ -1,4 +1,8 @@
 public open class AnnotatedConstructor : R|kotlin/Any| {
     @R|test/AnnotatedConstructor.Anno|(String(constructor)) public constructor(): R|test/AnnotatedConstructor|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotatedConstructor.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedEnumEntry.fir.txt

@@ -8,4 +8,12 @@ public final enum class AnnotatedEnumEntry : R|kotlin/Enum<ft<test/AnnotatedEnum
     public final static fun valueOf(value: R|kotlin/String|): R|test/AnnotatedEnumEntry| {
     }
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotatedEnumEntry.Anno|
+
+    }
+    public final annotation class Anno2 : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotatedEnumEntry.Anno2|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedField.fir.txt

@@ -5,4 +5,8 @@ public open class AnnotatedField : R|kotlin/Any| {
 
     public constructor(): R|test/AnnotatedField|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotatedField.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedMethod.fir.txt

@@ -3,4 +3,8 @@ public open class AnnotatedMethod : R|kotlin/Any| {
 
     public constructor(): R|test/AnnotatedMethod|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/Int|): R|test/AnnotatedMethod.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedParameterInInnerClassConstructor.fir.txt

@@ -1,4 +1,16 @@
 public/*package*/ open class AnnotatedParameterInInnerClassConstructor : R|kotlin/Any| {
     public/*package*/ constructor(): R|test/AnnotatedParameterInInnerClassConstructor|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotatedParameterInInnerClassConstructor.Anno|
+
+    }
+    public/*package*/ open inner class Inner : R|kotlin/Any| {
+        public/*package*/ constructor(@R|test/AnnotatedParameterInInnerClassConstructor.Anno|(String(a)) a: R|ft<kotlin/String, kotlin/String?>|, @R|test/AnnotatedParameterInInnerClassConstructor.Anno|(String(b)) b: R|ft<kotlin/String, kotlin/String?>|): R|test/AnnotatedParameterInInnerClassConstructor.Inner|
+
+    }
+    public/*package*/ open inner class InnerGeneric<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public/*package*/ constructor<T : R|ft<kotlin/Any, kotlin/Any?>|>(@R|test/AnnotatedParameterInInnerClassConstructor.Anno|(String(a)) a: R|ft<kotlin/String, kotlin/String?>|, @R|test/AnnotatedParameterInInnerClassConstructor.Anno|(String(b)) b: R|ft<kotlin/String, kotlin/String?>|): R|test/AnnotatedParameterInInnerClassConstructor.InnerGeneric<T>|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedTypeInFun.fir.txt

@@ -3,4 +3,8 @@ public/*package*/ open class AnnotatedTypeInFun : R|kotlin/Any| {
 
     public/*package*/ constructor(): R|test/AnnotatedTypeInFun|
 
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.TYPE|())) public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotatedTypeInFun.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotatedValueParameter.fir.txt

@@ -3,4 +3,8 @@ public open class AnnotatedValueParameter : R|kotlin/Any| {
 
     public constructor(): R|test/AnnotatedValueParameter|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotatedValueParameter.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotationInParam.fir.txt

@@ -1,2 +1,38 @@
 public abstract interface AnnotationInParam : R|kotlin/Any| {
+    @R|test/AnnotationInParam.MyAnnotationWithParam|(@R|test/AnnotationInParam.MyAnnotation|(String(test)) ) public open class A : R|kotlin/Any| {
+        public constructor(): R|test/AnnotationInParam.A|
+
+    }
+    @R|test/AnnotationInParam.MyAnnotationWithParam2|(@R|test/AnnotationInParam.MyAnnotation2|(<implicitArrayOf>(String(test), String(test2))) ) public open class B : R|kotlin/Any| {
+        public constructor(): R|test/AnnotationInParam.B|
+
+    }
+    @R|test/AnnotationInParam.MyAnnotationWithParam3|(@R|test/AnnotationInParam.MyAnnotation3|(String(f), String(s)) ) public open class C : R|kotlin/Any| {
+        public constructor(): R|test/AnnotationInParam.C|
+
+    }
+    public final annotation class MyAnnotation : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/AnnotationInParam.MyAnnotation|
+
+    }
+    public final annotation class MyAnnotation2 : R|kotlin/Annotation| {
+        public constructor(vararg value: R|kotlin/Array<kotlin/String>|): R|test/AnnotationInParam.MyAnnotation2|
+
+    }
+    public final annotation class MyAnnotation3 : R|kotlin/Annotation| {
+        public constructor(first: R|kotlin/String|, second: R|kotlin/String|): R|test/AnnotationInParam.MyAnnotation3|
+
+    }
+    public final annotation class MyAnnotationWithParam : R|kotlin/Annotation| {
+        public constructor(value: R|test/AnnotationInParam.MyAnnotation|): R|test/AnnotationInParam.MyAnnotationWithParam|
+
+    }
+    public final annotation class MyAnnotationWithParam2 : R|kotlin/Annotation| {
+        public constructor(value: R|test/AnnotationInParam.MyAnnotation2|): R|test/AnnotationInParam.MyAnnotationWithParam2|
+
+    }
+    public final annotation class MyAnnotationWithParam3 : R|kotlin/Annotation| {
+        public constructor(value: R|test/AnnotationInParam.MyAnnotation3|): R|test/AnnotationInParam.MyAnnotationWithParam3|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotationRetentions.fir.txt

@@ -1,4 +1,36 @@
 public open class AnnotationRetentions : R|kotlin/Any| {
     public constructor(): R|test/AnnotationRetentions|
 
+    public final annotation class BaseAnnotation : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationRetentions.BaseAnnotation|
+
+    }
+    @R|test/AnnotationRetentions.BaseAnnotation|() public/*package*/ open inner class BaseClass : R|kotlin/Any| {
+        public/*package*/ constructor(): R|test/AnnotationRetentions.BaseClass|
+
+    }
+    @R|kotlin/annotation/Retention|(R|kotlin/annotation/AnnotationRetention.BINARY|()) public final annotation class BinaryAnnotation : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationRetentions.BinaryAnnotation|
+
+    }
+    @R|test/AnnotationRetentions.BinaryAnnotation|() public/*package*/ open inner class BinaryClass : R|kotlin/Any| {
+        public/*package*/ constructor(): R|test/AnnotationRetentions.BinaryClass|
+
+    }
+    @R|kotlin/annotation/Retention|(R|kotlin/annotation/AnnotationRetention.RUNTIME|()) public final annotation class RuntimeAnnotation : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationRetentions.RuntimeAnnotation|
+
+    }
+    @R|test/AnnotationRetentions.RuntimeAnnotation|() public/*package*/ open inner class RuntimeClass : R|kotlin/Any| {
+        public/*package*/ constructor(): R|test/AnnotationRetentions.RuntimeClass|
+
+    }
+    @R|kotlin/annotation/Retention|(R|kotlin/annotation/AnnotationRetention.SOURCE|()) public final annotation class SourceAnnotation : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationRetentions.SourceAnnotation|
+
+    }
+    @R|test/AnnotationRetentions.SourceAnnotation|() public/*package*/ open inner class SourceClass : R|kotlin/Any| {
+        public/*package*/ constructor(): R|test/AnnotationRetentions.SourceClass|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/AnnotationTargets.fir.txt

@@ -1,4 +1,44 @@
 public open class AnnotationTargets : R|kotlin/Any| {
     public constructor(): R|test/AnnotationTargets|
 
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.ANNOTATION_CLASS|())) public final annotation class annotation : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.annotation|
+
+    }
+    public final annotation class base : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.base|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.CONSTRUCTOR|())) public final annotation class constructor : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.constructor|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.FIELD|())) public final annotation class field : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.field|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.LOCAL_VARIABLE|())) public final annotation class local : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.local|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.FUNCTION|(), R|kotlin/annotation/AnnotationTarget.PROPERTY_GETTER|(), R|kotlin/annotation/AnnotationTarget.PROPERTY_SETTER|())) public final annotation class method : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.method|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.FIELD|(), R|kotlin/annotation/AnnotationTarget.CONSTRUCTOR|(), R|kotlin/annotation/AnnotationTarget.FUNCTION|(), R|kotlin/annotation/AnnotationTarget.PROPERTY_GETTER|(), R|kotlin/annotation/AnnotationTarget.PROPERTY_SETTER|())) public final annotation class multiple : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.multiple|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>()) public final annotation class packag : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.packag|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.VALUE_PARAMETER|())) public final annotation class parameter : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.parameter|
+
+    }
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.CLASS|(), R|kotlin/annotation/AnnotationTarget.FILE|())) public final annotation class type : R|kotlin/Annotation| {
+        public constructor(): R|test/AnnotationTargets.type|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ArithmeticExpressionInParam.fir.txt

@@ -1,4 +1,12 @@
 public open class ArithmeticExpressionInParam : R|kotlin/Any| {
     public constructor(): R|test/ArithmeticExpressionInParam|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/Int|): R|test/ArithmeticExpressionInParam.Anno|
+
+    }
+    @R|test/ArithmeticExpressionInParam.Anno|(Int(42)) public open class Class : R|kotlin/Any| {
+        public constructor(): R|test/ArithmeticExpressionInParam.Class|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ArrayOfEnumInParam.fir.txt

@@ -1,2 +1,6 @@
 public abstract interface ArrayOfEnumInParam : R|kotlin/Any| {
+    @R|kotlin/annotation/Target|(<implicitArrayOf>(R|kotlin/annotation/AnnotationTarget.FIELD|(), R|kotlin/annotation/AnnotationTarget.CONSTRUCTOR|())) public final annotation class targetAnnotation : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/ArrayOfEnumInParam.targetAnnotation|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ArrayOfStringInParam.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface ArrayOfStringInParam : R|kotlin/Any| {
+    @R|test/ArrayOfStringInParam.MyAnnotation|(<implicitArrayOf>(String(a), String(b), String(c))) public open class A : R|kotlin/Any| {
+        public constructor(): R|test/ArrayOfStringInParam.A|
+
+    }
+    public final annotation class MyAnnotation : R|kotlin/Annotation| {
+        public constructor(vararg value: R|kotlin/Array<kotlin/String>|): R|test/ArrayOfStringInParam.MyAnnotation|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ClassObjectArrayInParam.fir.txt

@@ -1,4 +1,12 @@
 public open class ClassObjectArrayInParam : R|kotlin/Any| {
     public constructor(): R|test/ClassObjectArrayInParam|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(vararg value: R|kotlin/Array<kotlin/reflect/KClass<*>>|): R|test/ClassObjectArrayInParam.Anno|
+
+    }
+    @R|test/ClassObjectArrayInParam.Anno|(<implicitArrayOf>(<getClass>(<getClass>(R|ft<test/ClassObjectArrayInParam, test/ClassObjectArrayInParam?>|)), <getClass>(<getClass>(R|ft<test/ClassObjectArrayInParam.Nested, test/ClassObjectArrayInParam.Nested?>|)), <getClass>(<getClass>(R|ft<kotlin/String, kotlin/String?>|)), <getClass>(<getClass>(R|ft<kotlin/collections/MutableList<kotlin/Any?>, kotlin/collections/List<*>?>|)), <getClass>(<getClass>(R|ERROR CLASS: Unexpected JavaType: org.jetbrains.kotlin.fir.types.builder.FirResolvedTypeRefBuilder@4abd3f24|)), <getClass>(<getClass>(R|ERROR CLASS: Unexpected JavaType: org.jetbrains.kotlin.fir.types.builder.FirResolvedTypeRefBuilder@6214f104|)), <getClass>(<getClass>(R|ERROR CLASS: Unexpected JavaType: org.jetbrains.kotlin.fir.types.builder.FirResolvedTypeRefBuilder@5450f4f|)))) public open class Nested : R|kotlin/Any| {
+        public constructor(): R|test/ClassObjectArrayInParam.Nested|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ClassObjectInParam.fir.txt

@@ -1,4 +1,12 @@
 public open class ClassObjectInParam : R|kotlin/Any| {
     public constructor(): R|test/ClassObjectInParam|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/reflect/KClass<*>|): R|test/ClassObjectInParam.Anno|
+
+    }
+    @R|test/ClassObjectInParam.Anno|(<getClass>(<getClass>(R|ft<test/ClassObjectInParam, test/ClassObjectInParam?>|))) public open class Nested : R|kotlin/Any| {
+        public constructor(): R|test/ClassObjectInParam.Nested|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ClassObjectInParamRaw.fir.txt

@@ -1,4 +1,12 @@
 public open class ClassObjectInParamRaw : R|kotlin/Any| {
     public constructor(): R|test/ClassObjectInParamRaw|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/reflect/KClass<kotlin/Any>|, arg: R|kotlin/Array<kotlin/reflect/KClass<kotlin/Any>>|): R|test/ClassObjectInParamRaw.Anno|
+
+    }
+    @R|test/ClassObjectInParamRaw.Anno|(<getClass>(<getClass>(R|ft<test/ClassObjectInParamRaw, test/ClassObjectInParamRaw?>|)), <implicitArrayOf>()) public open class Nested : R|kotlin/Any| {
+        public constructor(): R|test/ClassObjectInParamRaw.Nested|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/ClassObjectInParamVariance.fir.txt

@@ -1,4 +1,8 @@
 public open class ClassObjectInParamVariance : R|kotlin/Any| {
     public constructor(): R|test/ClassObjectInParamVariance|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(arg1: R|kotlin/reflect/KClass<out ft<kotlin/Int, kotlin/Int?>>|, arg2: R|kotlin/reflect/KClass<in ft<kotlin/Int, kotlin/Int?>>|, arg3: R|kotlin/Array<kotlin/reflect/KClass<out ft<kotlin/Int, kotlin/Int?>>>|, arg4: R|kotlin/Array<kotlin/reflect/KClass<in ft<kotlin/Int, kotlin/Int?>>>|, arg5: R|kotlin/Array<kotlin/reflect/KClass<out ft<java/lang/Class<*>, java/lang/Class<*>?>>>|, arg6: R|kotlin/Array<kotlin/reflect/KClass<in ft<java/lang/Class<*>, java/lang/Class<*>?>>>|, arg7: R|kotlin/Array<kotlin/reflect/KClass<out ft<java/lang/Class<ft<kotlin/Int, kotlin/Int?>>, java/lang/Class<ft<kotlin/Int, kotlin/Int?>>?>>>|, arg8: R|kotlin/Array<kotlin/reflect/KClass<in ft<java/lang/Class<ft<kotlin/Int, kotlin/Int?>>, java/lang/Class<ft<kotlin/Int, kotlin/Int?>>?>>>|): R|test/ClassObjectInParamVariance.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/CustomAnnotation.fir.txt

@@ -1,2 +1,19 @@
 public abstract interface CustomAnnotation : R|kotlin/Any| {
+    public final annotation class MyAnnotation : R|kotlin/Annotation| {
+        public constructor(value: R|test/CustomAnnotation.MyEnum|): R|test/CustomAnnotation.MyAnnotation|
+
+    }
+    public final enum class MyEnum : R|kotlin/Enum<ft<test/CustomAnnotation.MyEnum, test/CustomAnnotation.MyEnum?>>| {
+        public final static enum entry ONE: R|@EnhancedNullability test/CustomAnnotation.MyEnum|
+        public final static fun values(): R|kotlin/Array<test/CustomAnnotation.MyEnum>| {
+        }
+
+        public final static fun valueOf(value: R|kotlin/String|): R|test/CustomAnnotation.MyEnum| {
+        }
+
+    }
+    @R|test/CustomAnnotation.MyAnnotation|(R|test/CustomAnnotation.MyEnum.ONE|()) public open class MyTest : R|kotlin/Any| {
+        public constructor(): R|test/CustomAnnotation.MyTest|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/CustomAnnotationWithDefaultParameter.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface CustomAnnotationWithDefaultParameter : R|kotlin/Any| {
+    public final annotation class MyAnnotation : R|kotlin/Annotation| {
+        public constructor(first: R|kotlin/String|, second: R|kotlin/String| = String(s)): R|test/CustomAnnotationWithDefaultParameter.MyAnnotation|
+
+    }
+    @R|test/CustomAnnotationWithDefaultParameter.MyAnnotation|(String(f), String(s)) public open class MyTest : R|kotlin/Any| {
+        public constructor(): R|test/CustomAnnotationWithDefaultParameter.MyTest|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/EmptyArrayInParam.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface EmptyArrayInParam : R|kotlin/Any| {
+    @R|test/EmptyArrayInParam.MyAnnotation|(<implicitArrayOf>()) public open class A : R|kotlin/Any| {
+        public constructor(): R|test/EmptyArrayInParam.A|
+
+    }
+    public final annotation class MyAnnotation : R|kotlin/Annotation| {
+        public constructor(vararg value: R|kotlin/Array<kotlin/String>|): R|test/EmptyArrayInParam.MyAnnotation|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/EnumArgumentWithCustomToString.fir.txt

@@ -3,4 +3,21 @@ public open class EnumArgumentWithCustomToString : R|kotlin/Any| {
 
     public constructor(): R|test/EnumArgumentWithCustomToString|
 
+    public final enum class E : R|kotlin/Enum<ft<test/EnumArgumentWithCustomToString.E, test/EnumArgumentWithCustomToString.E?>>| {
+        public final static enum entry CAKE: R|@EnhancedNullability test/EnumArgumentWithCustomToString.E|
+        public final static fun values(): R|kotlin/Array<test/EnumArgumentWithCustomToString.E>| {
+        }
+
+        public final static fun valueOf(value: R|kotlin/String|): R|test/EnumArgumentWithCustomToString.E| {
+        }
+
+    }
+    public final annotation class EnumAnno : R|kotlin/Annotation| {
+        public constructor(value: R|test/EnumArgumentWithCustomToString.E|): R|test/EnumArgumentWithCustomToString.EnumAnno|
+
+    }
+    public final annotation class EnumArrayAnno : R|kotlin/Annotation| {
+        public constructor(vararg value: R|kotlin/Array<test/EnumArgumentWithCustomToString.E>|): R|test/EnumArgumentWithCustomToString.EnumArrayAnno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/EnumConstructorParameter.fir.txt

@@ -10,4 +10,8 @@ public final enum class EnumConstructorParameter : R|kotlin/Enum<ft<test/EnumCon
     public final static fun valueOf(value: R|kotlin/String|): R|test/EnumConstructorParameter| {
     }
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/EnumConstructorParameter.Anno|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/EnumInParam.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface EnumInParam : R|kotlin/Any| {
+    public final annotation class MyRetention : R|kotlin/Annotation| {
+        public constructor(value: R|java/lang/annotation/RetentionPolicy|): R|test/EnumInParam.MyRetention|
+
+    }
+    @R|test/EnumInParam.MyRetention|(R|java/lang/annotation/RetentionPolicy.RUNTIME|()) public final annotation class RetentionAnnotation : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/EnumInParam.RetentionAnnotation|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/NestedEnumArgument.fir.txt

@@ -3,4 +3,17 @@ public open class NestedEnumArgument : R|kotlin/Any| {
 
     public constructor(): R|test/NestedEnumArgument|
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|test/NestedEnumArgument.E|): R|test/NestedEnumArgument.Anno|
+
+    }
+    public final enum class E : R|kotlin/Enum<ft<test/NestedEnumArgument.E, test/NestedEnumArgument.E?>>| {
+        public final static enum entry FIRST: R|@EnhancedNullability test/NestedEnumArgument.E|
+        public final static fun values(): R|kotlin/Array<test/NestedEnumArgument.E>| {
+        }
+
+        public final static fun valueOf(value: R|kotlin/String|): R|test/NestedEnumArgument.E| {
+        }
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/PrimitiveValueInParam.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface PrimitiveValueInParam : R|kotlin/Any| {
+    @R|test/PrimitiveValueInParam.Ann|(Int(1), Long(1), Double(1.0), Float(1.0), Boolean(true), String(str)) public open class A : R|kotlin/Any| {
+        public constructor(): R|test/PrimitiveValueInParam.A|
+
+    }
+    public final annotation class Ann : R|kotlin/Annotation| {
+        public constructor(i: R|kotlin/Int|, l: R|kotlin/Long|, d: R|kotlin/Double|, f: R|kotlin/Float|, bool: R|kotlin/Boolean|, str: R|kotlin/String|): R|test/PrimitiveValueInParam.Ann|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/RecursiveAnnotation.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface RecursiveAnnotation : R|kotlin/Any| {
+    @R|test/RecursiveAnnotation.B|(@R|test/RecursiveAnnotation.A|(String(test)) ) public final annotation class A : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/RecursiveAnnotation.A|
+
+    }
+    @R|test/RecursiveAnnotation.B|(@R|test/RecursiveAnnotation.A|(String(test)) ) public final annotation class B : R|kotlin/Annotation| {
+        public constructor(value: R|test/RecursiveAnnotation.A|): R|test/RecursiveAnnotation.B|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/RecursiveAnnotation2.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface RecursiveAnnotation2 : R|kotlin/Any| {
+    public final annotation class A : R|kotlin/Annotation| {
+        public constructor(value: R|test/RecursiveAnnotation2.B|): R|test/RecursiveAnnotation2.A|
+
+    }
+    @R|test/RecursiveAnnotation2.A|(@R|test/RecursiveAnnotation2.B|(String(test)) ) public final annotation class B : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/RecursiveAnnotation2.B|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/StringConcatenationInParam.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface StringConcatenationInParam : R|kotlin/Any| {
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/StringConcatenationInParam.Anno|
+
+    }
+    @R|test/StringConcatenationInParam.Anno|(String(hello)) public open class Class : R|kotlin/Any| {
+        public constructor(): R|test/StringConcatenationInParam.Class|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/StringConstantInParam.fir.txt

@@ -1,4 +1,12 @@
 public abstract interface StringConstantInParam : R|kotlin/Any| {
     public final static field HEL: R|ft<kotlin/String, kotlin/String?>| = String(hel)
 
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/StringConstantInParam.Anno|
+
+    }
+    @R|test/StringConstantInParam.Anno|(String(hello)) public open class Class : R|kotlin/Any| {
+        public constructor(): R|test/StringConstantInParam.Class|
+
+    }
 }

compiler/testData/loadJava/compiledJava/annotations/StringInParam.fir.txt

@@ -1,2 +1,10 @@
 public abstract interface StringInParam : R|kotlin/Any| {
+    public final annotation class Anno : R|kotlin/Annotation| {
+        public constructor(value: R|kotlin/String|): R|test/StringInParam.Anno|
+
+    }
+    @R|test/StringInParam.Anno|(String(hello)) public open class Class : R|kotlin/Any| {
+        public constructor(): R|test/StringInParam.Class|
+
+    }
 }

compiler/testData/loadJava/compiledJava/enum/EnumWithSpecializedEntry.fir.txt

@@ -7,4 +7,8 @@ public final enum class EnumWithSpecializedEntry : R|kotlin/Enum<ft<test/EnumWit
     public final static fun valueOf(value: R|kotlin/String|): R|test/EnumWithSpecializedEntry| {
     }
 
+    public/*package*/ open class Nested : R|kotlin/Any| {
+        public/*package*/ constructor(): R|test/EnumWithSpecializedEntry.Nested|
+
+    }
 }

compiler/testData/loadJava/compiledJava/kotlinSignature/StarProjection.fir.txt

@@ -3,4 +3,6 @@ public final class StarProjection : R|kotlin/Any| {
 
     public constructor(): R|test/StarProjection|
 
+    public abstract interface MyClass<T : R|ft<kotlin/CharSequence, kotlin/CharSequence?>|> : R|kotlin/Any| {
+    }
 }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface InheritNotVarargPrimitive : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNotVarargPrimitive.Super| {
+        public abstract fun foo(vararg p: R|ft<kotlin/IntArray, kotlin/IntArray?>|): R|kotlin/Unit|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(p: R|ft<kotlin/IntArray, kotlin/IntArray?>|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,12 @@
 public abstract interface InheritNullability : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullability.Super| {
+        public abstract fun foo(p: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(@R|org/jetbrains/annotations/NotNull|() p: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

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

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface InheritVarargPrimitive : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritVarargPrimitive.Super| {
+        public abstract fun foo(p: R|ft<kotlin/IntArray, kotlin/IntArray?>|): R|kotlin/Unit|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(vararg p: R|ft<kotlin/IntArray, kotlin/IntArray?>|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,18 @@
 public abstract interface Kt3302 : R|kotlin/Any| {
+    public abstract interface BSONObject : R|kotlin/Any| {
+        public abstract fun put(@R|org/jetbrains/annotations/NotNull|() s: R|@EnhancedNullability kotlin/String|, @R|org/jetbrains/annotations/NotNull|() o: R|@EnhancedNullability kotlin/Any|): R|ft<kotlin/Any, kotlin/Any?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
+    public abstract interface BasicBSONObject : R|test/Kt3302.LinkedHashMap<ft<kotlin/String, kotlin/String?>, ft<kotlin/Any, kotlin/Any?>>|, R|test/Kt3302.BSONObject| {
+        @R|java/lang/Override|() public abstract fun put(key: R|ft<kotlin/String, kotlin/String?>|, value: R|ft<kotlin/Any, kotlin/Any?>|): R|ft<kotlin/Any, kotlin/Any?>|
+
+    }
+    public abstract interface LinkedHashMap<K : R|ft<kotlin/Any, kotlin/Any?>|, V : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public abstract fun put(key: R|ft<K, K?>|, value: R|ft<V, V?>|): R|ft<V, V?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface NotNullToNullable : R|kotlin/Any| {
+    public abstract interface Sub : R|test/NotNullToNullable.Super| {
+        public abstract fun foo(p: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(@R|org/jetbrains/annotations/NotNull|() p: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,12 @@
 public abstract interface NullableToNotNull : R|kotlin/Any| {
+    public abstract interface Sub : R|test/NullableToNotNull.Super| {
+        public abstract fun foo(@R|org/jetbrains/annotations/NotNull|() p: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(p: R|ft<kotlin/String, kotlin/String?>|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface OverrideWithErasedParameter : R|kotlin/Any| {
+    public abstract interface Sub<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|test/OverrideWithErasedParameter.Super<ft<T, T?>>| {
+        public abstract fun foo(o: R|ft<kotlin/Any, kotlin/Any?>|): R|kotlin/Unit|
+
+    }
+    public abstract interface Super<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public abstract fun foo(t: R|ft<T, T?>|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

@@ -1,2 +1,18 @@
 public abstract interface SubclassFromGenericAndNot : R|kotlin/Any| {
+    public abstract interface Generic<T : R|ft<kotlin/Any, kotlin/Any?>|> : R|kotlin/Any| {
+        public abstract fun foo(key: R|ft<T, T?>|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
+    public abstract interface NonGeneric : R|kotlin/Any| {
+        public abstract fun foo(@R|org/jetbrains/annotations/NotNull|() s: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
+    public abstract interface Sub : R|test/SubclassFromGenericAndNot.NonGeneric|, R|test/SubclassFromGenericAndNot.Generic<ft<kotlin/String, kotlin/String?>>| {
+        @R|java/lang/Override|() public abstract fun foo(key: R|@EnhancedNullability kotlin/String|): R|kotlin/Unit|
+
+    }
 }

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

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

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface AddNotNullJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNotNullJavaSubtype.Super| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/String|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/CharSequence, kotlin/CharSequence?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,12 @@
 public abstract interface AddNotNullSameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNotNullSameJavaType.Super| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/CharSequence, kotlin/CharSequence?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,12 @@
 public abstract interface AddNullabilityJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNullabilityJavaSubtype.Super| {
+        public abstract fun foo(): R|@EnhancedNullability kotlin/String|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface AddNullabilitySameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/AddNullabilitySameJavaType.Super| {
+        public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

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

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

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

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

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

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface InheritNullabilityJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullabilityJavaSubtype.Super| {
+        public abstract fun foo(): R|@EnhancedNullability kotlin/String|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

@@ -1,2 +1,12 @@
 public abstract interface InheritNullabilitySameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritNullabilitySameJavaType.Super| {
+        public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,12 @@
 public abstract interface InheritProjectionKind : R|kotlin/Any| {
+    public abstract interface Sub : R|test/InheritProjectionKind.Super| {
+        public abstract fun foo(): R|ft<kotlin/collections/MutableList<ft<kotlin/Number, kotlin/Number?>>, kotlin/collections/List<ft<kotlin/Number, kotlin/Number?>>?>|
+
+    }
+    public abstract interface Super : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/collections/MutableCollection<ft<kotlin/Number, kotlin/Number?>>, kotlin/collections/Collection<ft<kotlin/Number, kotlin/Number?>>?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

@@ -1,2 +1,18 @@
 public abstract interface TwoSuperclassesReturnJavaSubtype : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesReturnJavaSubtype.Super1|, R|test/TwoSuperclassesReturnJavaSubtype.Super2| {
+        public abstract fun foo(): R|@EnhancedNullability kotlin/String|
+
+    }
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/CharSequence, kotlin/CharSequence?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
+    public abstract interface Super2 : R|kotlin/Any| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }

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

@@ -1,2 +1,18 @@
 public abstract interface TwoSuperclassesReturnSameJavaType : R|kotlin/Any| {
+    public abstract interface Sub : R|test/TwoSuperclassesReturnSameJavaType.Super1|, R|test/TwoSuperclassesReturnSameJavaType.Super2| {
+        public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+    }
+    public abstract interface Super1 : R|kotlin/Any| {
+        public abstract fun foo(): R|ft<kotlin/CharSequence, kotlin/CharSequence?>|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
+    public abstract interface Super2 : R|kotlin/Any| {
+        @R|org/jetbrains/annotations/NotNull|() public abstract fun foo(): R|@EnhancedNullability kotlin/CharSequence|
+
+        public abstract fun dummy(): R|kotlin/Unit|
+
+    }
 }