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

FIR element rendered:
public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1)
    public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|

FIR FILE:
FILE: [ResolvedTo(IMPORTS)] topLevelProperty.kt
    public final [ResolvedTo(BODY_RESOLVE)] val x: R|kotlin/Int| = Int(1)
        public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/Int|
