| // RUN_PIPELINE_TILL: BACKEND | |
| //KT-5182 Data flow info is lost for 'when' branches | |
| open class A | |
| class B: A() { | |
| fun foo() = 1 | |
| } | |
| fun foo(a: A) = when { | |
| a !is B -> 2 | |
| true -> a.foo() //'foo' is unresolved, smart cast doesn't work | |
| else -> a.foo() | |
| } | |
| /* GENERATED_FIR_TAGS: classDeclaration, functionDeclaration, integerLiteral, isExpression, smartcast, whenExpression */ |