Add FIR enhancement tests, fix some exceptions / problems around them

Test data and tests themselves are based on
compiler/testData/loadJava/compiledJava

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

@@ -0,0 +1,2 @@
+public abstract interface PropagateTypeArgumentNullable : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface ChangeProjectionKind1 : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface DeeplySubstitutedClassParameter : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface DeeplySubstitutedClassParameter2 : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNotVararg : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNotVarargInteger : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNotVarargNotNull : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNotVarargPrimitive : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNullability : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritVararg : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritVarargInteger : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritVarargNotNull : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritVarargPrimitive : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface Kt3302 : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface MutableToReadOnly : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface NotNullToNullable : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface NullableToNotNull : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface NullableToNotNullKotlinSignature : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface OverrideWithErasedParameter : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface ReadOnlyToMutable : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SubclassFromGenericAndNot : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SubstitutedClassParameter : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SubstitutedClassParameters : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface AddNotNullJavaSubtype : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface AddNotNullSameJavaType : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface AddNullabilityJavaSubtype : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface AddNullabilitySameGenericType1 : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface AddNullabilitySameGenericType2 : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface AddNullabilitySameJavaType : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface CantMakeImmutableInSubclass : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface DeeplySubstitutedClassParameter : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface DeeplySubstitutedClassParameter2 : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface HalfSubstitutedTypeParameters : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNullabilityGenericSubclassSimple : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNullabilityJavaSubtype : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNullabilitySameGenericType : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNullabilitySameJavaType : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritProjectionKind : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritReadOnlinessOfArgument : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritReadOnlinessSameClass : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritReadOnlinessSubclass : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SameProjectionKind : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SubclassFromGenericAndNot : R|java/lang/Object| {
+}

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

@@ -0,0 +1,4 @@
+<E> public abstract interface SubclassOfCollection : R|java/util/Collection<E>| {
+    public abstract operator function iterator(): R|ft<java/util/Iterator<ft<E, E?>>, java/util/Iterator<ft<E, E?>>>|
+
+}

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

@@ -0,0 +1,4 @@
+<K, V> public abstract interface SubclassOfMapEntry : R|java/util/Map.Entry<K, V>| {
+    public abstract operator function setValue(value: R|ft<V, V?>|!): R|ft<V, V?>|!
+
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SubstitutedClassParameter : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface SubstitutedClassParameters : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesConflictingProjectionKinds : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesInvariantAndCovariantInferMutability : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesInvariantAndCovariantInferNullability : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesMutableAndNot : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesReturnJavaSubtype : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesReturnSameJavaType : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclassesSupplementNotNull : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TypeParamOfClass : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TypeParamOfClassSubstituted : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TypeParamOfFun : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface InheritNullability : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoBounds : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoSuperclasses : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface TwoTypeParameters : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface UseParameterAsUpperBound : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface UseParameterInUpperBound : R|java/lang/Object| {
+}

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

@@ -0,0 +1,2 @@
+public abstract interface UseParameterInUpperBoundWithKotlinSignature : R|java/lang/Object| {
+}