KT element: KtValueArgument FIR element: FirLiteralExpressionImpl FIR source kind: KtRealSourceElementKind FIR element rendered: Int(1) FIR FILE: FILE: [ResolvedTo(IMPORTS)] callArgument.kt public final [ResolvedTo(CONTRACTS)] fun y([ResolvedTo(CONTRACTS)] a: R|kotlin/Int|): R|kotlin/Unit| { } public final [ResolvedTo(BODY_RESOLVE)] fun x(): R|kotlin/Unit| { R|/y|(Int(1)) }