Test data split between compiledJava tests and compiledKotlin tests

Basically, this commit splits test data from the from java-txt-kt to two pairs java-txt and kt-txt.
This commit leads to some duplication in test data.
This is temporary: in the platform types branch the test data for LoadJava tests will be changed dramatically, so duplication will go away

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

@@ -0,0 +1,42 @@
+package test;
+
+import java.util.List;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface PropagateTypeArgumentNullable {
+
+    public interface Super {
+
+        @KotlinSignature("fun outS(p : List<String?>)")
+        void outS(List<String> p);
+
+        @KotlinSignature("fun invOutS(p : MutableList<List<String?>>)")
+        void invOutS(List<List<String>> p);
+
+        @KotlinSignature("fun outOutS(p : List<List<String?>>)")
+        void outOutS(List<List<String>> p);
+
+        @KotlinSignature("fun outR() : List<String?>")
+        List<String> outR();
+
+        @KotlinSignature("fun invR() : MutableList<String?>")
+        List<String> invR();
+
+        @KotlinSignature("fun invOutR() : MutableList<List<String?>>")
+        List<List<String>> invOutR();
+    }
+
+    public interface Sub extends Super {
+        void outS(List<String> p);
+
+        void invOutS(List<List<String>> p);
+
+        void outOutS(List<List<String>> p);
+
+        List<String> outR();
+
+        List<String> invR();
+
+        List<List<String>> invOutR();
+    }
+}

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

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

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface ChangeProjectionKind1 {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: MutableList<in String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Projection kind mismatch, actual: in, in alternative signature: ")
+        @KotlinSignature("fun foo(p: MutableList<String>)")
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface ChangeProjectionKind2 {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: MutableList<String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Parameter type changed for method which overrides another: MutableList<in String>, was: MutableList<String>")
+        @KotlinSignature("fun foo(p: MutableList<in String>)")
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface DeeplySubstitutedClassParameter {
+
+    public interface Super<T> {
+        @KotlinSignature("fun foo(t: T)")
+        void foo(T p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Middle<E> extends Super<E> {
+        void foo(E p);
+    }
+
+    public interface Sub extends Middle<String> {
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface DeeplySubstitutedClassParameter2 {
+
+    public interface Super<T> {
+        @KotlinSignature("fun foo(t: T)")
+        void foo(T p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Middle<E> extends Super<E> {
+    }
+
+    public interface Sub extends Middle<String> {
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface InheritMutability {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: MutableList<String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface InheritNotVararg {
+
+    public interface Super {
+        void foo(String[] p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(String... p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface InheritNotVarargInteger {
+
+    public interface Super {
+        void foo(Integer[] p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(Integer... p);
+    }
+}

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

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

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

@@ -0,0 +1,17 @@
+package test;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritNotVarargNotNull {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: Array<out String>)")
+        void foo(String[] p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(String... p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface InheritNotVarargPrimitive {
+
+    public interface Super {
+        void foo(int[] p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(int... p);
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait InheritNotVarargPrimitive {
+
+    public trait Sub : test.InheritNotVarargPrimitive.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.IntArray?): kotlin.Unit
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.IntArray?): kotlin.Unit
+    }
+}

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

@@ -0,0 +1,16 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+
+public interface InheritNullability {
+
+    public interface Super {
+        void foo(@NotNull String p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface InheritProjectionKind {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: MutableList<in String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface InheritReadOnliness {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: List<String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface InheritVararg {
+
+    public interface Super {
+        void foo(String... p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(String[] p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface InheritVarargInteger {
+
+    public interface Super {
+        void foo(Integer... p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(Integer[] p);
+    }
+}

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

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

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

@@ -0,0 +1,17 @@
+package test;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritVarargNotNull {
+
+    public interface Super {
+        @KotlinSignature("fun foo(vararg p: String)")
+        void foo(String... p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(String[] p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface InheritVarargPrimitive {
+
+    public interface Super {
+        void foo(int... p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        void foo(int[] p);
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait InheritVarargPrimitive {
+
+    public trait Sub : test.InheritVarargPrimitive.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ vararg p0: kotlin.Int /*kotlin.IntArray*/): kotlin.Unit
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(/*0*/ vararg p0: kotlin.Int /*kotlin.IntArray*/): kotlin.Unit
+    }
+}

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

@@ -0,0 +1,25 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+// See SubclassFromGenericAndNot, as well
+public interface Kt3302 {
+    public interface BSONObject {
+        Object put(@NotNull String s, @NotNull Object o);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface LinkedHashMap<K, V> {
+        @KotlinSignature("fun put(key : K, value : V) : V?")
+        public V put(K key, V value);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface BasicBSONObject extends LinkedHashMap<String, Object>, BSONObject {
+        @Override
+        public Object put(String key, Object value);
+    }
+}

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

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

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface MutableToReadOnly {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: MutableList<String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Parameter type changed for method which overrides another: List<String>, was: MutableList<String>")
+        @KotlinSignature("fun foo(p: List<String>)")
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface NotNullToNullable {
+
+    public interface Super {
+        void foo(@NotNull String p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Auto type 'kotlin.String' is not-null, while type in alternative signature is nullable: 'String?'")
+        @KotlinSignature("fun foo(p: String?)")
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,19 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface NullableToNotNull {
+
+    public interface Super {
+        void foo(String p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("In superclass type is nullable: [String?], in subclass it is not: String")
+        void foo(@NotNull String p);
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait NullableToNotNull {
+
+    public trait Sub : test.NullableToNotNull.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(/*0*/ p0: kotlin.String?): kotlin.Unit
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(/*0*/ p0: kotlin.String?): kotlin.Unit
+    }
+}

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface NullableToNotNullKotlinSignature {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: String?)")
+        void foo(String p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Parameter type changed for method which overrides another: String, was: String?")
+        @KotlinSignature("fun foo(p: String)")
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,14 @@
+package test;
+
+public interface OverrideWithErasedParameter  {
+
+    public interface Super<T> {
+        void foo(T t);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub<T> extends Super<T> {
+        void foo(Object o);
+    }
+}

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

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

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+import java.util.*;
+
+public interface ReadOnlyToMutable {
+
+    public interface Super {
+        @KotlinSignature("fun foo(p: List<String>)")
+        void foo(List<String> p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Parameter type changed for method which overrides another: MutableList<String>, was: List<String>")
+        @KotlinSignature("fun foo(p: MutableList<String>)")
+        void foo(List<String> p);
+    }
+}

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

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

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

@@ -0,0 +1,26 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+// Extracted from KT-3302, see Kt3302 test, as well
+public interface SubclassFromGenericAndNot {
+
+    public interface NonGeneric {
+        void foo(@NotNull String s);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Generic<T> {
+        @KotlinSignature("fun foo(key : T)")
+        public void foo(T key);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends NonGeneric, Generic<String> {
+        @Override
+        public void foo(String key);
+    }
+}

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

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

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

@@ -0,0 +1,18 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface SubstitutedClassParameter {
+
+    public interface Super<T> {
+        @KotlinSignature("fun foo(t: T)")
+        void foo(T p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super<String> {
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,25 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface SubstitutedClassParameters {
+
+    public interface Super1<T> {
+        @KotlinSignature("fun foo(t: T)")
+        void foo(T p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Super2<E> {
+        @KotlinSignature("fun foo(t: E)")
+        void foo(E p);
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super1<String>, Super2<String> {
+        void foo(String p);
+    }
+}

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

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

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

@@ -0,0 +1,17 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+
+public interface AddNotNullJavaSubtype {
+
+    public interface Super {
+        CharSequence foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @NotNull
+        String foo();
+    }
+}

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

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

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

@@ -0,0 +1,17 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+
+public interface AddNotNullSameJavaType {
+
+    public interface Super {
+        CharSequence foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @NotNull
+        CharSequence foo();
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface AddNullabilityJavaSubtype {
+
+    public interface Super {
+        @NotNull
+        CharSequence foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Auto type 'kotlin.String' is not-null, while type in alternative signature is nullable: 'String?'")
+        @KotlinSignature("fun foo(): String?")
+        String foo();
+    }
+}

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

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

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface AddNullabilitySameGenericType1 {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableList<String>")
+        List<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Return type is changed to not subtype for method which overrides another: MutableList<String?>, was: MutableList<String>")
+        @KotlinSignature("fun foo(): MutableList<String?>")
+        List<String> foo();
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait AddNullabilitySameGenericType1 {
+
+    public trait Sub : test.AddNullabilitySameGenericType1.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+    }
+}

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface AddNullabilitySameGenericType2 {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableList<String>")
+        List<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Auto type 'kotlin.MutableList<kotlin.String>' is not-null, while type in alternative signature is nullable: 'MutableList<String>?'")
+        @KotlinSignature("fun foo(): MutableList<String>?")
+        List<String> foo();
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait AddNullabilitySameGenericType2 {
+
+    public trait Sub : test.AddNullabilitySameGenericType2.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+    }
+}

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

@@ -0,0 +1,22 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.lang.CharSequence;
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface AddNullabilitySameJavaType {
+
+    public interface Super {
+        @NotNull
+        CharSequence foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Auto type 'kotlin.CharSequence' is not-null, while type in alternative signature is nullable: 'CharSequence?'")
+        @KotlinSignature("fun foo(): CharSequence?")
+        CharSequence foo();
+    }
+}

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

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

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

@@ -0,0 +1,23 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.*;
+
+import jet.runtime.typeinfo.KotlinSignature;
+import org.jetbrains.jet.jvm.compiler.annotation.ExpectLoadError;
+
+public interface CantMakeImmutableInSubclass {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableCollection<String>")
+        Collection<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        @ExpectLoadError("Return type is changed to not subtype for method which overrides another: List<String>, was: MutableList<String>")
+        @KotlinSignature("fun foo(): List<String>")
+        List<String> foo();
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait CantMakeImmutableInSubclass {
+
+    public trait Sub : test.CantMakeImmutableInSubclass.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(): kotlin.MutableCollection<kotlin.String>
+    }
+}

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

@@ -0,0 +1,24 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+import java.lang.String;
+
+public interface DeeplySubstitutedClassParameter {
+
+    public interface Super<T> {
+        @KotlinSignature("fun foo(): T")
+        T foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Middle<E> extends Super<E> {
+        E foo();
+    }
+
+    public interface Sub extends Middle<String> {
+        String foo();
+    }
+}

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

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

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

@@ -0,0 +1,23 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+import java.lang.String;
+
+public interface DeeplySubstitutedClassParameter2 {
+
+    public interface Super<T> {
+        @KotlinSignature("fun foo(): T")
+        T foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Middle<E> extends Super<E> {
+    }
+
+    public interface Sub extends Middle<String> {
+        String foo();
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import java.util.*;
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface HalfSubstitutedTypeParameters {
+
+    public interface TrickyList<X, E> extends List<E> {}
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableList<String?>")
+        List<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        TrickyList<Integer, String> foo();
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import java.util.Collection;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritNullabilityGenericSubclassSimple {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableCollection<String>")
+        Collection<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        List<String> foo();
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait InheritNullabilityGenericSubclassSimple {
+
+    public trait Sub : test.InheritNullabilityGenericSubclassSimple.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(): kotlin.MutableCollection<kotlin.String>
+    }
+}

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.lang.CharSequence;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritNullabilityJavaSubtype {
+
+    public interface Super {
+        @NotNull
+        CharSequence foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        String foo();
+    }
+}

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritNullabilitySameGenericType {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableList<String>")
+        List<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        List<String> foo();
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait InheritNullabilitySameGenericType {
+
+    public trait Sub : test.InheritNullabilitySameGenericType.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(): kotlin.MutableList<kotlin.String>
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(): kotlin.MutableList<kotlin.String>
+    }
+}

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.lang.CharSequence;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritNullabilitySameJavaType {
+
+    public interface Super {
+        @NotNull
+        CharSequence foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        CharSequence foo();
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import java.util.Collection;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritProjectionKind {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): MutableCollection<out Number>")
+        Collection<Number> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        List<Number> foo();
+    }
+}

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

@@ -0,0 +1,14 @@
+package test
+
+public trait InheritProjectionKind {
+
+    public trait Sub : test.InheritProjectionKind.Super {
+        public abstract override /*1*/ /*fake_override*/ fun dummy(): kotlin.Unit
+        public abstract override /*1*/ fun foo(): kotlin.MutableList<out kotlin.Number>
+    }
+
+    public trait Super {
+        public abstract fun dummy(): kotlin.Unit
+        public abstract fun foo(): kotlin.MutableCollection<out kotlin.Number>
+    }
+}

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import java.util.Collection;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritReadOnlinessOfArgument {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): List<List<String>>>")
+        List<List<String>> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        List<List<String>> foo();
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import java.util.Collection;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritReadOnlinessSameClass {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): List<String>")
+        List<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        List<String> foo();
+    }
+}

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

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

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

@@ -0,0 +1,21 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import java.util.Collection;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface InheritReadOnlinessSubclass {
+
+    public interface Super {
+        @KotlinSignature("fun foo(): Collection<String>")
+        Collection<String> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        List<String> foo();
+    }
+}

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import java.util.List;
+import java.util.Collection;
+
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface SameProjectionKind {
+
+    public interface Super {
+        Collection<? extends Number> foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super {
+        Collection<? extends Number> foo();
+    }
+}

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

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

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

@@ -0,0 +1,25 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+public interface SubclassFromGenericAndNot {
+
+    public interface NonGeneric {
+        String foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Generic<T> {
+        @KotlinSignature("fun foo(): T")
+        public T foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends NonGeneric, Generic<String> {
+        @Override
+        public String foo();
+    }
+}

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

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

compiler/testData/loadJava/compiledJava/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/compiledJava/kotlinSignature/propagation/return/SubclassOfCollection.txt

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

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

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

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

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

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

@@ -0,0 +1,20 @@
+package test;
+
+import org.jetbrains.annotations.NotNull;
+import jet.runtime.typeinfo.KotlinSignature;
+
+import java.lang.String;
+
+public interface SubstitutedClassParameter {
+
+    public interface Super<T> {
+        @KotlinSignature("fun foo(): T")
+        T foo();
+
+        void dummy(); // to avoid loading as SAM interface
+    }
+
+    public interface Sub extends Super<String> {
+        String foo();
+    }
+}

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

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