| // RUN_PIPELINE_TILL: FRONTEND |
| fun bar(x: Int): Int = x + 1 |
| |
| fun foo() { |
| val x: Int? = null |
| val a = Array<Int>(3, {0}) |
| |
| if (x != null) bar(a[<!DEBUG_INFO_SMARTCAST!>x<!>]) else bar(a[<!DEBUG_INFO_CONSTANT, TYPE_MISMATCH!>x<!>]) |
| bar(a[if (x == null) 0 else <!DEBUG_INFO_SMARTCAST!>x<!>]) |
| bar(a[<!TYPE_MISMATCH!>x<!>]) |
| |
| "123"[<!TYPE_MISMATCH!>x<!>]; |
| if (x != null) "123"[<!DEBUG_INFO_SMARTCAST!>x<!>]; |
| } |
| |
| /* GENERATED_FIR_TAGS: additiveExpression, equalityExpression, functionDeclaration, ifExpression, integerLiteral, |
| lambdaLiteral, localProperty, nullableType, propertyDeclaration, smartcast, stringLiteral */ |
