FILE: [ResolvedTo(BODY_RESOLVE)] nameBasedDestructuringShortFormAfter.kt
    public final [ResolvedTo(BODY_RESOLVE)] class Tuple : R|kotlin/Any| {
        public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Tuple] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Tuple.first] first: R|kotlin/String|, [ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Tuple.second] second: R|kotlin/Int|): R|Tuple| {
            super<R|kotlin/Any|>()
        }

        public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val first: R|kotlin/String| = R|<local>/first|
            public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Tuple] get(): R|kotlin/String|

        public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val second: R|kotlin/Int| = R|<local>/second|
            public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Tuple] get(): R|kotlin/Int|

    }
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun declaration([ResolvedTo(ANNOTATION_ARGUMENTS)] x: R|Tuple|): R|kotlin/Unit| { LAZY_BLOCK }
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun loop([ResolvedTo(ANNOTATION_ARGUMENTS)] x: R|kotlin/collections/List<Tuple>|): R|kotlin/Unit| { LAZY_BLOCK }
    public final [ResolvedTo(ANNOTATION_ARGUMENTS)] fun lambda(): R|kotlin/Unit| { LAZY_BLOCK }
