Supported propagation for subclass of j.u.Collection and similar classes.

compiler/testData/loadJava/kotlinSignature/propagation/return/SubclassOfCollection.java

@@ -0,0 +1,8 @@
+package test;
+
+import java.util.*;
+
+public interface SubclassOfCollection<E> extends Collection<E> {
+    Iterator<E> iterator();
+
+}

compiler/testData/loadJava/kotlinSignature/propagation/return/SubclassOfCollection.kt

@@ -0,0 +1,5 @@
+package test
+
+public trait SubclassOfCollection<E>: MutableCollection<E> {
+    override fun iterator() : MutableIterator<E>
+}

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

@@ -0,0 +1,17 @@
+namespace test
+
+public abstract trait test.SubclassOfCollection</*0*/ E : jet.Any?> : jet.MutableCollection<E> {
+    public abstract override /*1*/ /*fake_override*/ fun add(/*0*/ e: E): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun addAll(/*0*/ c: jet.Collection<E>): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun clear(): jet.Tuple0
+    public abstract override /*1*/ /*fake_override*/ fun contains(/*0*/ o: jet.Any?): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun containsAll(/*0*/ c: jet.Collection<jet.Any?>): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun isEmpty(): jet.Boolean
+    public abstract override /*1*/ fun iterator(): jet.MutableIterator<E>
+    public abstract override /*1*/ /*fake_override*/ fun remove(/*0*/ o: jet.Any?): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun removeAll(/*0*/ c: jet.Collection<jet.Any?>): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun retainAll(/*0*/ c: jet.Collection<jet.Any?>): jet.Boolean
+    public abstract override /*1*/ /*fake_override*/ fun size(): jet.Int
+    public abstract override /*1*/ /*fake_override*/ fun toArray(): jet.Array<jet.Any?>
+    public abstract override /*1*/ /*fake_override*/ fun </*0*/ T : jet.Any?>toArray(/*0*/ a: jet.Array<out T>): jet.Array<T>
+}

compiler/testData/loadJava/kotlinSignature/propagation/return/SubclassOfMapEntry.java

@@ -0,0 +1,7 @@
+package test;
+
+import java.util.*;
+
+public interface SubclassOfMapEntry<K, V> extends Map.Entry<K, V> {
+    V setValue(V v);
+}

compiler/testData/loadJava/kotlinSignature/propagation/return/SubclassOfMapEntry.kt

@@ -0,0 +1,5 @@
+package test
+
+public trait SubclassOfMapEntry<K, V>: MutableMap.MutableEntry<K, V> {
+    override fun setValue(p0: V) : V
+}

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

@@ -0,0 +1,7 @@
+namespace test
+
+public abstract trait test.SubclassOfMapEntry</*0*/ K : jet.Any?, /*1*/ V : jet.Any?> : jet.MutableMap.MutableEntry<K, V> {
+    public abstract override /*1*/ /*fake_override*/ fun getKey(): K
+    public abstract override /*1*/ /*fake_override*/ fun getValue(): V
+    public abstract override /*1*/ fun setValue(/*0*/ p0: V): V
+}

compiler/testData/loadJava/modality/ModalityOfFakeOverrides.txt

@@ -18,7 +18,7 @@ public open class test.ModalityOfFakeOverrides : java.util.AbstractList<jet.Stri
     public open override /*1*/ /*fake_override*/ fun listIterator(/*0*/ p0: jet.Int): jet.MutableListIterator<jet.String>
     protected final override /*1*/ /*fake_override*/ var modCount: jet.Int
     public open override /*1*/ /*fake_override*/ fun remove(/*0*/ p0: jet.Any?): jet.Boolean
-    public open override /*1*/ /*fake_override*/ fun remove(/*0*/ p0: jet.Int): jet.String?
+    public open override /*1*/ /*fake_override*/ fun remove(/*0*/ p0: jet.Int): jet.String
     public open override /*1*/ /*fake_override*/ fun removeAll(/*0*/ p0: jet.Collection<jet.Any?>): jet.Boolean
     protected open override /*1*/ /*fake_override*/ fun removeRange(/*0*/ p0: jet.Int, /*1*/ p1: jet.Int): jet.Tuple0
     public open override /*1*/ /*fake_override*/ fun retainAll(/*0*/ p0: jet.Collection<jet.Any?>): jet.Boolean