| // RUN_PIPELINE_TILL: BACKEND | |
| // IGNORE_DATA_FLOW_IN_ASSERT | |
| // SKIP_TXT | |
| // WITH_STDLIB | |
| interface A {} | |
| class B: A { | |
| fun bool() = true | |
| } | |
| fun test1(a: A) { | |
| assert((a as B).bool()) | |
| a.bool() | |
| } | |
| fun test2() { | |
| val a: A? = null; | |
| assert((a as B).bool()) | |
| a<!UNNECESSARY_SAFE_CALL!>?.<!>bool() | |
| } | |
| /* GENERATED_FIR_TAGS: asExpression, classDeclaration, functionDeclaration, interfaceDeclaration, localProperty, | |
| nullableType, propertyDeclaration, safeCall, smartcast */ |