FILE: main.kt
    public final [STATUS] class WithElvis : R|kotlin/Any| {
        public [STATUS] constructor([STATUS] value: R|kotlin/String?|): R|elvis/WithElvis| {
            super<R|kotlin/Any|>()
        }

        public final [STATUS] val value: R|kotlin/String?| = R|<local>/value|
            [BODY_RESOLVE] public get(): R|kotlin/String?|

        public final [BODY_RESOLVE] fun foo(): R|kotlin/String| {
            ^foo this@R|elvis/WithElvis|.R|elvis/WithElvis.value| ?: String()
        }

    }
