| // RUN_PIPELINE_TILL: FRONTEND |
| //KT-2164 !! does not propagate nullability information |
| package kt2164 |
| |
| fun foo(x: Int): Int = x + 1 |
| |
| fun main() { |
| val x: Int? = null |
| |
| foo(<!TYPE_MISMATCH!>x<!>) |
| |
| if (x != null) { |
| foo(<!DEBUG_INFO_SMARTCAST!>x<!>) |
| foo(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>) |
| foo(<!DEBUG_INFO_SMARTCAST!>x<!>) |
| } |
| |
| foo(<!TYPE_MISMATCH!>x<!>) |
| |
| if (x != null) { |
| foo(<!DEBUG_INFO_SMARTCAST!>x<!>) |
| foo(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>) |
| foo(<!DEBUG_INFO_SMARTCAST!>x<!>) |
| } else { |
| foo(<!DEBUG_INFO_CONSTANT, TYPE_MISMATCH!>x<!>) |
| <!UNREACHABLE_CODE!>foo(<!><!ALWAYS_NULL!>x<!>!!<!UNREACHABLE_CODE!>)<!> |
| <!UNREACHABLE_CODE!>foo(<!DEBUG_INFO_SMARTCAST!>x<!>)<!> |
| } |
| |
| foo(<!DEBUG_INFO_SMARTCAST!>x<!>) |
| foo(x<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>) |
| foo(<!DEBUG_INFO_SMARTCAST!>x<!>) |
| |
| val y: Int? = null |
| y!! |
| y<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!> |
| foo(<!DEBUG_INFO_SMARTCAST!>y<!>) |
| foo(y<!UNNECESSARY_NOT_NULL_ASSERTION!>!!<!>) |
| } |
| |
| /* GENERATED_FIR_TAGS: additiveExpression, checkNotNullCall, equalityExpression, functionDeclaration, ifExpression, |
| integerLiteral, localProperty, nullableType, propertyDeclaration, smartcast */ |
