| // CHECK: |
| // Mangled name: Base |
| // Public signature: /Base|null[0] |
| interface Base<in E : Any?> { |
| |
| } |
| |
| // CHECK: |
| // Mangled name: Derived |
| // Public signature: /Derived|null[0] |
| interface Derived<in E : Any?> : Base<E> { |
| |
| } |
| |
| // CHECK: |
| // Mangled name: Receiver |
| // Public signature: /Receiver|null[0] |
| interface Receiver<out E : Any?> { |
| |
| } |
| |
| // CHECK JVM_IR: |
| // Mangled name: #box(){}kotlin.String |
| // Public signature: /box|-9347091776561469[0] |
| fun box(): String |
| |
| // CHECK JVM_IR: |
| // Mangled name: #foo(Receiver<0:0>){0§<kotlin.Any?>}0:0 |
| // Public signature: /foo|1374936692204158291[0] |
| fun <R : Any?> foo(r: Receiver<R>): R |
| |
| // CHECK JVM_IR: |
| // Mangled name: #produce(kotlin.Function1<Derived<0:0>,kotlin.Unit>){0§<kotlin.Any?>}0:0 |
| // Public signature: /produce|-8861632226015581377[0] |
| fun <E : Any?> produce(block: @ExtensionFunctionType Function1<Derived<E>, Unit>): E |
| |
| // CHECK JVM_IR: |
| // Mangled name: #toChannel@Receiver<0:0>(0:1){0§<kotlin.Any?>;1§<Base<0:0>>}0:1 |
| // Public signature: /toChannel|5706628675310331058[0] |
| fun <E : Any?, C : Base<E>> Receiver<E>.toChannel(destination: C): C |
| |
