KT element: KtParameter FIR element: FirValueParameterImpl FIR source kind: KtRealSourceElementKind FIR element rendered: [ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Abc.i] i: R|kotlin/Int| = Int(4) FIR FILE: FILE: [ResolvedTo(IMPORTS)] constructorProperty.kt public final [ResolvedTo(ANNOTATION_ARGUMENTS)] class Abc : R|kotlin/Any| { public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Abc] constructor([ResolvedTo(BODY_RESOLVE)] [CorrespondingProperty=/Abc.i] i: R|kotlin/Int| = Int(4)): R|Abc| { super() } public final [ResolvedTo(BODY_RESOLVE)] [IsFromPrimaryConstructor=true] val i: R|kotlin/Int| = R|/i| public [ResolvedTo(BODY_RESOLVE)] [ContainingClassKey=Abc] get(): R|kotlin/Int| }