| // RUN_PIPELINE_TILL: FRONTEND | |
| // CHECK_TYPE | |
| fun foo(x: Number) { | |
| when (x as Int) { | |
| else -> checkSubtype<Int>(<!DEBUG_INFO_SMARTCAST!>x<!>) | |
| } | |
| checkSubtype<Int>(<!DEBUG_INFO_SMARTCAST!>x<!>) | |
| } | |
| /* GENERATED_FIR_TAGS: classDeclaration, funWithExtensionReceiver, functionDeclaration, functionalType, infix, | |
| nullableType, smartcast, typeParameter, typeWithExtension, whenExpression, whenWithSubject */ |