| // RUN_PIPELINE_TILL: FRONTEND | |
| // CHECK_TYPE | |
| fun foo(x: Number): Boolean { | |
| val result = (x as Int) in 1..5 | |
| checkSubtype<Int>(<!DEBUG_INFO_SMARTCAST!>x<!>) | |
| return result | |
| } | |
| /* GENERATED_FIR_TAGS: asExpression, classDeclaration, funWithExtensionReceiver, functionDeclaration, functionalType, | |
| infix, integerLiteral, localProperty, nullableType, propertyDeclaration, rangeExpression, smartcast, typeParameter, | |
| typeWithExtension */ |