blob: 40cf4b1af2c59bcb000af094af1aa82b403040e3 [file] [log] [blame]
// !CHECK_TYPE
fun foo(x: Number) {
when (x as Int) {
else -> checkSubtype<Int>(x)
}
checkSubtype<Int>(x)
}