| // RUN_PIPELINE_TILL: FRONTEND |
| fun foo(): String { |
| var s: String? |
| s = null |
| <!DEBUG_INFO_CONSTANT!>s<!>?.length |
| s<!UNSAFE_CALL!>.<!>length |
| if (<!SENSELESS_COMPARISON!><!DEBUG_INFO_CONSTANT!>s<!> == null<!>) return <!ALWAYS_NULL!>s<!>!! |
| var t: String? = "y" |
| if (t == null) t = "x" |
| var x: Int? = null |
| if (x == null) <!TYPE_MISMATCH!>x += null<!> |
| return <!DEBUG_INFO_SMARTCAST!>t<!> + s |
| } |
| |
| fun String?.gav() {} |
| |
| fun bar(s: String?) { |
| if (s != null) return |
| s.gav() |
| <!DEBUG_INFO_CONSTANT!>s<!> <!USELESS_CAST!>as? String<!> |
| <!DEBUG_INFO_CONSTANT!>s<!> <!USELESS_CAST!>as String?<!> |
| <!ALWAYS_NULL!>s<!> as String |
| } |
| |
| /* GENERATED_FIR_TAGS: additiveExpression, asExpression, assignment, checkNotNullCall, equalityExpression, |
| funWithExtensionReceiver, functionDeclaration, ifExpression, localProperty, nullableType, propertyDeclaration, safeCall, |
| smartcast, stringLiteral */ |
