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

ANNOTATIONS_ARGUMENTS_MAPPING:
FILE: propertyWithGetter.kt
    public final [ANNOTATIONS_ARGUMENTS_MAPPING] 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
        public? [RAW_FIR] get(): Int { LAZY_BLOCK }

EXPECT_ACTUAL_MATCHING:
FILE: propertyWithGetter.kt
    public final [EXPECT_ACTUAL_MATCHING] 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
        public? [RAW_FIR] get(): Int { LAZY_BLOCK }

BODY_RESOLVE:
FILE: propertyWithGetter.kt
    public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
        R|/receive|(R|/withGetter|)
    }
    public final [CONTRACTS] fun receive([CONTRACTS] value: R|kotlin/Int|): R|kotlin/Unit| {
    }
    public final [CONTRACTS] val withGetter: R|kotlin/Int|
        public [CONTRACTS] get(): R|kotlin/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|
        public [BODY_RESOLVE] get(): R|kotlin/Int| {
            ^ Int(42)
        }
