| // RUN_PIPELINE_TILL: FRONTEND | |
| // CHECK_TYPE | |
| fun bar1(x: Number, y: Int) { | |
| var yy = y | |
| yy += x as Int | |
| checkSubtype<Int>(x) | |
| } | |
| fun bar2(x: Number) { | |
| <!UNRESOLVED_REFERENCE!>y<!> += x as Int | |
| checkSubtype<Int>(x) | |
| } | |
| fun bar3(x: Number, y: Array<Int>) { | |
| y[0] += x as Int | |
| checkSubtype<Int>(x) | |
| } | |
| /* GENERATED_FIR_TAGS: additiveExpression, asExpression, assignment, classDeclaration, funWithExtensionReceiver, | |
| functionDeclaration, functionalType, infix, integerLiteral, localProperty, nullableType, propertyDeclaration, smartcast, | |
| typeParameter, typeWithExtension */ |