FILE: main.kt private final val anyProperty: R|Property| = R|/Property.Property|() private get(): R|Property| private final val boundedProperty: R|Property| = R|/Property.Property|() private get(): R|Property| public final fun test_1(x: R|Property|): R|kotlin/Unit| { when () { (R|/x| is R|Reference|) -> { R|/x|.R|SubstitutionOverride| } } } public final fun test_2(x: R|Property|): R|kotlin/Unit| { when () { (R|/x| is R|Reference|) -> { R|/x|.R|/Reference.id| } } }