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

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

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

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

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

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

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

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

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| { LAZY_BLOCK }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int { LAZY_BLOCK }

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| { LAZY_BLOCK }
    public? final? [RAW_FIR] val withGetter: Int
        [RAW_FIR] public? get(): Int { LAZY_BLOCK }

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| { LAZY_BLOCK }
    public final [STATUS] val withGetter: R|kotlin/Int|
        [STATUS] public get(): R|kotlin/Int| { LAZY_BLOCK }

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)
        }
