FILE: classMembers.kt
    public final [BODY_RESOLVE] class A : R|kotlin/Any| {
        public constructor(): R|A| {
            super<R|kotlin/Any|>()
        }

        public final [BODY_RESOLVE] fun resolveMe(): R|kotlin/Unit| {
            this@R|/A|.R|/A.receive|(this@R|/A|.R|/A.functionWithLazyBody|())
        }

        public final [CONTRACTS] val x: R|kotlin/Int| = LAZY_EXPRESSION
            public get(): R|kotlin/Int| { LAZY_BLOCK }

        public final [CONTRACTS] fun receive(value: R|kotlin/String|): R|kotlin/Unit| { LAZY_BLOCK }

        public final [CONTRACTS] fun functionWithLazyBody(): R|kotlin/String| { LAZY_BLOCK }

    }
