| FILE: extensionReceiverInference.kt | |
| public final class A : R|kotlin/Any| { | |
| public constructor(): R|A| { | |
| super<R|kotlin/Any|>() | |
| } | |
| } | |
| public final val <X> R|X|.prop: R|kotlin/Int| | |
| public get(): R|kotlin/Int| { | |
| ^ Int(1) | |
| } | |
| public final fun <X> R|X|.baz(): R|kotlin/Int| { | |
| ^baz Int(1) | |
| } | |
| public final fun foo(x: R|(A) -> kotlin/Int|): R|kotlin/Unit| { | |
| } | |
| public final fun main(): R|kotlin/Unit| { | |
| R|/foo|(Q|A|::R|/prop<A>|) | |
| R|/foo|(Q|A|::R|/baz<A>|) | |
| } |