| // RUN_PIPELINE_TILL: FRONTEND |
| // CHECK_TYPE |
| |
| interface A |
| |
| interface B : A |
| operator fun B.plus(b: B) = if (this == b) b else this |
| |
| fun foo(a: A): B { |
| val result = (a as B) + <!DEBUG_INFO_SMARTCAST!>a<!> |
| checkSubtype<B>(<!DEBUG_INFO_SMARTCAST!>a<!>) |
| return result |
| } |
| |
| fun bar(a: A, b: B): B { |
| val result = b + (a as B) |
| checkSubtype<B>(<!DEBUG_INFO_SMARTCAST!>a<!>) |
| return result |
| } |
| |
| /* GENERATED_FIR_TAGS: additiveExpression, asExpression, classDeclaration, equalityExpression, funWithExtensionReceiver, |
| functionDeclaration, functionalType, ifExpression, infix, interfaceDeclaration, localProperty, nullableType, operator, |
| propertyDeclaration, smartcast, thisExpression, typeParameter, typeWithExtension */ |
