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>|)
    }
