FILE: receiverInference.kt public abstract interface XEntity : R|kotlin/Any| { } public final class Provider : R|kotlin/Any| { public constructor(): R|Provider| { super() } public final operator fun provideDelegate(thisRef: R|XEntity|, prop: R|kotlin/Any|): R|R| { ^provideDelegate Null(null)!! } } public final class Prop : R|kotlin/Any| { public constructor(): R|Prop| { super() } public final operator fun getValue(receiver: R|E|, prop: R|kotlin/Any|): R|V| { ^getValue Null(null)!! } } public final fun mkProp(): R|Provider>| { ^mkProp R|/Provider.Provider||>() } public final class MyEnt : R|XEntity| { public constructor(): R|MyEnt| { super() } public final val d: R|kotlin/String|by R|/mkProp|().R|SubstitutionOverride|>|(this@R|/MyEnt|, ::R|/MyEnt.d|) public get(): R|kotlin/String| { ^ this@R|/MyEnt|.D|/MyEnt.d|.R|SubstitutionOverride|(this@R|/MyEnt|, ::R|/MyEnt.d|) } }