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 (R|/arg|) { ($subj$ is R|kotlin/Int|) -> { (R|/arg| as R|kotlin/Int|) } else -> { Int(42) } } }