FILE: when.kt
    public final fun foo(): R|kotlin/Int| {
        ^foo when () {
            Boolean(true) ->  {
                Int(1)
            }
            else ->  {
                Int(0)
            }
        }

    }
    public final fun bar(arg: R|kotlin/Any?|): R|kotlin/Int| {
        ^bar when (lval <when-subject>: R|kotlin/Any?| = R|<local>/arg|) {
            ($subj$ is R|kotlin/Int|) ->  {
                (R|<local>/arg| as R|kotlin/Int|)
            }
            else ->  {
                Int(42)
            }
        }

    }
