KT element: KtCallExpression
FIR element: FirSafeCallExpressionImpl
FIR source kind: KtRealSourceElementKind

FIR element rendered:
R|<local>/a|?.{ $subj$.R|/A.y|(Int(1)) }

FIR FILE:
FILE: [ResolvedTo(IMPORTS)] safeQualifiedCallSelector.kt
    public final [ResolvedTo(STATUS)] class A : R|kotlin/Any| {
        public [ResolvedTo(STATUS)] [ContainingClassKey=A] constructor(): R|A| {
            LAZY_super<R|kotlin/Any|>
        }

        public final [ResolvedTo(CONTRACTS)] fun y([ResolvedTo(CONTRACTS)] a: R|kotlin/Int|): R|kotlin/Unit| { LAZY_BLOCK }

    }
    public final [ResolvedTo(BODY_RESOLVE)] fun x([ResolvedTo(BODY_RESOLVE)] a: R|A|): R|kotlin/Unit| {
        R|<local>/a|?.{ $subj$.R|/A.y|(Int(1)) }
    }