FILE: onPropertyWithContext.kt
    public final class Ctx : R|kotlin/Any| {
        public constructor(): R|Ctx| {
            super<R|kotlin/Any|>()
        }

        public final val str: R|kotlin/String?| = String()
            public get(): R|kotlin/String?|

    }
    context(ctx: R|Ctx|)
    public final val prop: R|kotlin/String?|
        public get(): R|kotlin/String?| {
            ^ R|<local>/ctx|.R|/Ctx.str|
        }
    context(ctx: R|Ctx|)
    public final fun test(): R|kotlin/Unit| {
        when () {
            (context(R|<local>/ctx|) R|/prop| is R|kotlin/String|) ->  {
                context(R|<local>/ctx|) R|/prop|.R|kotlin/String.length<Inapplicable(UNSTABLE_SMARTCAST): kotlin/String.length>#|
            }
        }

    }
