| // RUN_PIPELINE_TILL: FRONTEND |
| // OPT_IN: kotlin.RequiresOptIn |
| |
| // MODULE: A |
| package main |
| |
| @kotlin.RequiresOptIn |
| annotation class Marker |
| |
| data class DataClass(@property:Marker val x: Int) |
| |
| // MODULE: B(A) |
| package main |
| |
| fun test(d: DataClass) { |
| val (<!OPT_IN_USAGE_ERROR!>x<!>) = d |
| val c = d.<!OPT_IN_USAGE_ERROR!>component1<!>() |
| } |
| |
| /* GENERATED_FIR_TAGS: annotationDeclaration, annotationUseSiteTargetProperty, classDeclaration, data, |
| destructuringDeclaration, functionDeclaration, localProperty, primaryConstructor, propertyDeclaration */ |
