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

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

        public final fun foo(): R|kotlin/String| {
            ^foo when (lval <elvis>: R|kotlin/String?| = this@R|elvis/WithElvis|.R|elvis/WithElvis.value|) {
                ==($subj$, Null(null)) ->  {
                    String()
                }
                else ->  {
                    R|<local>/<elvis>|
                }
            }

        }

    }
