| // RUN_PIPELINE_TILL: FRONTEND |
| // DIAGNOSTICS: -DEBUG_INFO_SMARTCAST |
| //KT-2216 Nullability of a value determined in function parameter computation doesn't pass to code following |
| package kt2216 |
| |
| fun bar(y: Int, z: Int) = y + z |
| fun baz(a: Int, b: Int, c: Int, d: Int) = a + b + c + d |
| |
| fun foo() { |
| val x: Int? = 0 |
| |
| bar(if (x != null) x else return, x) |
| x + 2 |
| bar(x, x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>) |
| |
| val y: Int? = 0 |
| val z: Int? = 0 |
| bar(<!TYPE_MISMATCH!>if (y != null) y else z<!>, <!TYPE_MISMATCH!>y<!>) |
| y <!UNSAFE_OPERATOR_CALL!>+<!> 2 |
| baz(<!TYPE_MISMATCH!>y<!>, <!TYPE_MISMATCH!>y<!>, if (y == null) return else y, y) |
| baz(y, z!!, z, y) |
| } |
| |
| /* GENERATED_FIR_TAGS: additiveExpression, checkNotNullCall, equalityExpression, functionDeclaration, ifExpression, |
| integerLiteral, localProperty, nullableType, propertyDeclaration, smartcast */ |
