FILE: implicitReceiverAsWhenSubject.kt public final fun R|kotlin/Any|.test_1(): R|kotlin/Int| { ^test_1 when (this@R|/test_1|) { ($subj$ is R|kotlin/collections/List<*>|) -> { this@R|/test_1|.R|SubstitutionOverride| } ($subj$ is R|kotlin/String|) -> { this@R|/test_1|.R|kotlin/String.length| } else -> { Int(0) } } } public final fun R|kotlin/Any|.test_2(): R|kotlin/Int| { ^test_2 when (lval x: R|kotlin/Any| = this@R|/test_2|) { ($subj$ is R|kotlin/collections/List<*>|) -> { R|/x|.R|SubstitutionOverride| this@R|/test_2|.R|SubstitutionOverride| } ($subj$ is R|kotlin/String|) -> { R|/x|.R|kotlin/String.length| this@R|/test_2|.R|kotlin/String.length| } else -> { Int(0) } } }