| // FIR_IDENTICAL |
| // SKIP_TXT |
| |
| // FILE: JavaClass.java |
| public class JavaClass { |
| public static <T extends Self<?>> Self<T> id1Inv(T t) { return null; } |
| public static <T extends Self<?>> T id2Inv(T t) { return null; } |
| public static <T extends OutSelf<?>> OutSelf<T> id1Out(T t) { return null; } |
| public static <T extends OutSelf<?>> T id2Out(T t) { return null; } |
| } |
| |
| // FILE: main.kt |
| interface Self<E : Self<E>> { |
| val x: E |
| } |
| fun bar(): Self<*> = TODO() |
| |
| interface OutSelf<out E : OutSelf<E>> { |
| val x: E |
| } |
| fun outBar(): OutSelf<*> = TODO() |
| |
| fun main() { |
| JavaClass.id1Inv(bar()).x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x |
| JavaClass.id2Inv(bar()).x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x |
| |
| JavaClass.id1Out(outBar()).x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x |
| JavaClass.id2Out(outBar()).x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x.x |
| } |
