FILE: smoke.kt
    context(s: R|kotlin/String|)
    public final class C : R|kotlin/Any| {
        context(s: R|kotlin/String|, s: R|kotlin/String|)
        public constructor(): R|C| {
            super<R|kotlin/Any|>()
        }

    }
    context(s: R|kotlin/String|)
    public final fun f(): R|kotlin/String| {
        ^f R|<local>/s|.R|kotlin/String.plus|(this@s#)
    }
    context(<unused var>: R|kotlin/String|)
    public final val p: R|kotlin/String|
        public get(): R|kotlin/String| {
            ^ context(R|<local>/<unused var>|) R|/f|()
        }
    context(s: R|kotlin/String|)
    public final var p2: R|kotlin/String|
        public get(): R|kotlin/String| {
            ^ R|<local>/s|.R|kotlin/String.plus|(this@s#)
        }
        public set(value: R|kotlin/String|): R|kotlin/Unit| {
            R|<local>/s|.R|kotlin/String.plus|(this@s#)
        }
    context(s: R|kotlin/Any|)
    public final val p3: R|kotlin/String|
        public get(): R|kotlin/String| {
            ^ when () {
                (R|<local>/s| is R|kotlin/String|) ->  {
                    R|<local>/s|.R|kotlin/String.plus|(context(R|<local>/s|) R|/f|())
                }
                else ->  {
                    String()
                }
            }

        }
    context(s: R|kotlin/String|)
    public final fun f2(): R|kotlin/Unit| {
        <Unresolved name: length>#
    }
    context(s: R|kotlin/String|)
    public final fun f3(): R|kotlin/Int| {
        ^f3 R|<local>/s|.R|kotlin/String.length|
    }
    context(s: R|kotlin/String|)
    public final val p4: R|kotlin/String|
        public get(): R|kotlin/String| {
            ^ R|<local>/s|
        }
    context(<unused var>: R|kotlin/Any|)
    public final fun escapedBackTick(): R|kotlin/Unit| {
    }
