| // RUN_PIPELINE_TILL: FRONTEND |
| // FIR_IDENTICAL |
| // OPT_IN: kotlin.RequiresOptIn |
| |
| @RequiresOptIn |
| @Retention(AnnotationRetention.BINARY) |
| annotation class E |
| |
| @set:E |
| var x: Int = 42 |
| |
| @E |
| var y: Int = 24 |
| |
| var z: Int = 44 |
| @E set(arg) { |
| field = arg |
| } |
| |
| fun user(): Int { |
| <!OPT_IN_USAGE_ERROR!>x<!> = 10 |
| <!OPT_IN_USAGE_ERROR!>y<!> = 5 |
| <!OPT_IN_USAGE_ERROR!>z<!> = 15 |
| return x + <!OPT_IN_USAGE_ERROR!>y<!> + z |
| } |
| |
| /* GENERATED_FIR_TAGS: additiveExpression, annotationDeclaration, annotationUseSiteTargetPropertySetter, assignment, |
| functionDeclaration, integerLiteral, propertyDeclaration, setter */ |
