| // RUN_PIPELINE_TILL: BACKEND | |
| // KT-2825 DataFlowInfo is not retained after assignment | |
| interface A | |
| interface B : A { | |
| fun foo() | |
| } | |
| fun baz(b: B) = b | |
| fun bar1(a: A) { | |
| val b = a as B | |
| <!DEBUG_INFO_SMARTCAST!>a<!>.foo() | |
| b.foo() | |
| } | |
| fun bar2(a: A) { | |
| val b = baz(a as B) | |
| <!DEBUG_INFO_SMARTCAST!>a<!>.foo() | |
| b.foo() | |
| } | |
| /* GENERATED_FIR_TAGS: asExpression, functionDeclaration, interfaceDeclaration, localProperty, propertyDeclaration, | |
| smartcast */ |