FILE: extensionPropertyInLambda.kt
    public final class C<T> : R|kotlin/Any| {
        public constructor<T>(x: R|T|): R|C<T>| {
            super<R|kotlin/Any|>()
        }

        public final var x: R|T| = R|<local>/x|
            public get(): R|T|
            public set(value: R|T|): R|kotlin/Unit|

    }
    public final var <T> R|C<T>|.y: R|T|
        public get(): R|T| {
            ^ this@R|/y|.R|SubstitutionOverride</C.x: R|T|>|
        }
        public set(v: R|T|): R|kotlin/Unit| {
            this@R|/y|.R|SubstitutionOverride</C.x: R|T|>| = R|<local>/v|
        }
    public final fun use(f: R|() -> kotlin/String|): R|kotlin/Unit| {
    }
    public final fun test1(): R|kotlin/Unit| {
        R|/use|(<L> = use@fun <anonymous>(): R|kotlin/String| <inline=NoInline>  {
            ^ R|/C.C|<R|kotlin/String|>(String(abc)).R|/y|<R|kotlin/String|>
        }
        )
        R|/use|(R|/C.C|<R|kotlin/String|>(String(abc))::R|/y<kotlin/String>|)
    }
