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