KT element: KtDestructuringDeclarationEntry FIR element: FirPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: lval a: R|kotlin/Int| = R|/|.R|SubstitutionOverride|()