compiler/testData/diagnostics/tests/destructuring/annotatedNonLocalDestructuring.fir.txt

FILE: annotatedNonLocalDestructuring.kt
    public final annotation class Ann : R|kotlin/Annotation| {
        public constructor(s: R|kotlin/String|): R|Ann| {
            super<R|kotlin/Any|>()
        }

        public final val s: R|kotlin/String| = R|<local>/s|
            public get(): R|kotlin/String|

    }
    @R|kotlin/annotation/Target|(allowedTargets = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|) [evaluated = vararg(Q|kotlin/annotation/AnnotationTarget|.R|kotlin/annotation/AnnotationTarget.CLASS|)]) public final annotation class ClassOnly : R|kotlin/Annotation| {
        public constructor(): R|ClassOnly| {
            super<R|kotlin/Any|>()
        }

    }
    public final const val x: R|kotlin/String| = String(str)
        public get(): R|kotlin/String|
    public final data class X : R|kotlin/Any| {
        public constructor(a: R|kotlin/Int|, b: R|kotlin/Int|): R|X| {
            super<R|kotlin/Any|>()
        }

        public final val a: R|kotlin/Int| = R|<local>/a|
            public get(): R|kotlin/Int|

        public final val b: R|kotlin/Int| = R|<local>/b|
            public get(): R|kotlin/Int|

        public final operator fun component1(): R|kotlin/Int|

        public final operator fun component2(): R|kotlin/Int|

        public final fun copy(a: R|kotlin/Int| = this@R|/X|.R|/X.a|, b: R|kotlin/Int| = this@R|/X|.R|/X.b|): R|X|

    }
    @R|Ann|(s = R|/x| [evaluated = String(str)]) private final val <destruct>: R|X| = R|/X.X|(Int(1), Int(2))
        private get(): R|X|
    public final val a: R|kotlin/Int| = R|/<destruct>|.R|/X.component1|()
        public get(): R|kotlin/Int|
    public final val b: R|kotlin/Int| = R|/<destruct>|.R|/X.component2|()
        public get(): R|kotlin/Int|
    @R|Ann|(s = <Unresolved name: y># [evaluated = <Unresolved name: y>#]) @<ERROR TYPE REF: Symbol not found for Unresolved>() @R|ClassOnly|() @PROPERTY:R|Ann|(s = R|/x| [evaluated = String(str)]) private final val <destruct>: R|X| = R|/X.X|(Int(1), Int(2))
        private get(): R|X|
    public final val c: R|kotlin/Int| = R|/<destruct>|.R|/X.component1|()
        public get(): R|kotlin/Int|
    public final val d: R|kotlin/Int| = R|/<destruct>|.R|/X.component2|()
        public get(): R|kotlin/Int|
    public final class C : R|kotlin/Any| {
        public constructor(): R|C| {
            super<R|kotlin/Any|>()
        }

        @R|Ann|(s = R|/x| [evaluated = String(str)]) private final val <destruct>: R|X| = R|/X.X|(Int(1), Int(2))
            private get(): R|X|

        public final val a: R|kotlin/Int| = R|/C.<destruct>|.R|/X.component1|()
            public get(): R|kotlin/Int|

        public final val b: R|kotlin/Int| = R|/C.<destruct>|.R|/X.component2|()
            public get(): R|kotlin/Int|

        @R|Ann|(s = <Unresolved name: y># [evaluated = <Unresolved name: y>#]) @<ERROR TYPE REF: Symbol not found for Unresolved>() @R|ClassOnly|() @PROPERTY:R|Ann|(s = R|/x| [evaluated = String(str)]) private final val <destruct>: R|X| = R|/X.X|(Int(1), Int(2))
            private get(): R|X|

        public final val c: R|kotlin/Int| = R|/C.<destruct>|.R|/X.component1|()
            public get(): R|kotlin/Int|

        public final val d: R|kotlin/Int| = R|/C.<destruct>|.R|/X.component2|()
            public get(): R|kotlin/Int|

    }