| // RUN_PIPELINE_TILL: FRONTEND |
| // CHECK_TYPE |
| |
| fun f1(s: String?) { |
| if (s!! == ""); |
| checkSubtype<String>(<!DEBUG_INFO_SMARTCAST!>s<!>) |
| } |
| |
| fun f2(s: Number?) { |
| if (s is Int); |
| checkSubtype<Int>(<!TYPE_MISMATCH!>s<!>) |
| if (s as Int == 42); |
| checkSubtype<Int>(<!DEBUG_INFO_SMARTCAST!>s<!>) |
| } |
| |
| fun f3(s: Number?) { |
| if (s is Int && s <!USELESS_CAST!>as Int<!> == 42); |
| checkSubtype<Int>(<!TYPE_MISMATCH!>s<!>) |
| } |
| |
| fun f4(s: Int?) { |
| var u = <!INVALID_IF_AS_EXPRESSION!>if<!> (s!! == 42); |
| if (u == Unit) u = <!INVALID_IF_AS_EXPRESSION!>if<!> (s == 239); |
| return u |
| } |
| |
| /* GENERATED_FIR_TAGS: andExpression, asExpression, assignment, checkNotNullCall, classDeclaration, equalityExpression, |
| funWithExtensionReceiver, functionDeclaration, functionalType, ifExpression, infix, integerLiteral, isExpression, |
| localProperty, nullableType, propertyDeclaration, smartcast, stringLiteral, typeParameter, typeWithExtension */ |
