RAW_FIR:
FILE: propertyWithGetter.kt
    public? final? [RAW_FIR] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

IMPORTS:
FILE: propertyWithGetter.kt
    public? final? [RAW_FIR] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

SUPER_TYPES:
FILE: propertyWithGetter.kt
    public? final? [SUPER_TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

TYPES:
FILE: propertyWithGetter.kt
    public? final? [TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

STATUS:
FILE: propertyWithGetter.kt
    public final [STATUS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

ARGUMENTS_OF_ANNOTATIONS:
FILE: propertyWithGetter.kt
    public final [ARGUMENTS_OF_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

CONTRACTS:
FILE: propertyWithGetter.kt
    public final [CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

IMPLICIT_TYPES_BODY_RESOLVE:
FILE: propertyWithGetter.kt
    public final [IMPLICIT_TYPES_BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

BODY_RESOLVE:
FILE: propertyWithGetter.kt
    public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [STATUS] fun receive([RAW_FIR] value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [STATUS] val withGetter: R|kotlin/Int|
        [STATUS] public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

NoResolve:
FILE: propertyWithGetter.kt
    public? final? [RAW_FIR] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

BodyResolveWithChildren:
FILE: propertyWithGetter.kt
    public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [STATUS] fun receive([RAW_FIR] value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [STATUS] val withGetter: R|kotlin/Int|
        [STATUS] public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

CallableBodyResolve:
FILE: propertyWithGetter.kt
    public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [STATUS] fun receive([RAW_FIR] value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [STATUS] val withGetter: R|kotlin/Int|
        [STATUS] public get(): R|kotlin/Int| {
            ^ IntegerLiteral(42)
        }

CallableReturnType:
FILE: propertyWithGetter.kt
    public? final? [RAW_FIR] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

AnnotationType:
FILE: propertyWithGetter.kt
    public? final? [TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

AnnotationsArguments:
FILE: propertyWithGetter.kt
    public final [ARGUMENTS_OF_ANNOTATIONS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

CallableContracts:
FILE: propertyWithGetter.kt
    public final [CONTRACTS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

DeclarationStatus:
FILE: propertyWithGetter.kt
    public final [STATUS] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

ValueParametersTypes:
FILE: propertyWithGetter.kt
    public? final? [TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

TypeParametersTypes:
FILE: propertyWithGetter.kt
    public? final? [TYPES] fun resolveMe(): R|kotlin/Unit| {
        receive#(withGetter#)
    }
    public? final? [RAW_FIR] fun receive([RAW_FIR] value: Int): R|kotlin/Unit| {
    }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int {
            ^ IntegerLiteral(42)
        }

FILE RAW TO BODY:
FILE: propertyWithGetter.kt
    public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [BODY_RESOLVE] fun receive([BODY_RESOLVE] value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [BODY_RESOLVE] val withGetter: R|kotlin/Int|
        [BODY_RESOLVE] public get(): R|kotlin/Int| {
            ^ Int(42)
        }
