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)] topLevelPropertyScript.kts context(