KT element: KtDestructuringDeclarationEntry
FIR element: FirPropertyImpl
FIR source kind: KtRealSourceElementKind

FIR element rendered:
[ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|<local>/<destruct>|.R|/X.component1|()

FIR FILE:
FILE: [ResolvedTo(IMPORTS)] entryInDestructuringDeclaration.kt
    public final data [ResolvedTo(CONTRACTS)] class X : R|kotlin/Any| {
        public [ResolvedTo(CONTRACTS)] [ContainingClassKey=X] constructor([ResolvedTo(CONTRACTS)] [CorrespondingProperty=/X.a] a: R|kotlin/Int|, [ResolvedTo(CONTRACTS)] [CorrespondingProperty=/X.b] b: R|kotlin/Int|): R|X| {
            LAZY_super<R|kotlin/Any|>
        }

        public final [ResolvedTo(CONTRACTS)] [ComponentFunctionSymbolKey=/X.component1, IsFromPrimaryConstructor=true] val a: R|kotlin/Int| = R|<local>/a|
            public [ResolvedTo(CONTRACTS)] [ContainingClassKey=X] get(): R|kotlin/Int|

        public final [ResolvedTo(CONTRACTS)] [ComponentFunctionSymbolKey=/X.component2, IsFromPrimaryConstructor=true] val b: R|kotlin/Int| = R|<local>/b|
            public [ResolvedTo(CONTRACTS)] [ContainingClassKey=X] get(): R|kotlin/Int|

        public final operator [ResolvedTo(CONTRACTS)] fun component1(): R|kotlin/Int|

        public final operator [ResolvedTo(CONTRACTS)] fun component2(): R|kotlin/Int|

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

    }
    public final [ResolvedTo(BODY_RESOLVE)] fun main([ResolvedTo(BODY_RESOLVE)] x: R|X|): R|kotlin/Unit| {
        [ResolvedTo(BODY_RESOLVE)] lval <destruct>: R|X| = R|<local>/x|
        [ResolvedTo(BODY_RESOLVE)] lval a: R|kotlin/Int| = R|<local>/<destruct>|.R|/X.component1|()
        [ResolvedTo(BODY_RESOLVE)] lval b: R|kotlin/Int| = R|<local>/<destruct>|.R|/X.component2|()
    }