FILE: lambdaInImplicitPropertyBody.kt
    public final inline [BODY_RESOLVE] fun <T, R> with([BODY_RESOLVE] receiver: R|T|, [BODY_RESOLVE] block: R|T.() -> R|): R|R| {
        ^with R|<local>/block|.R|SubstitutionOverride<kotlin/Function1.invoke: R|R|>|(R|<local>/receiver|)
    }
    public final inline [BODY_RESOLVE] fun <T, R> R|T|.let([BODY_RESOLVE] block: R|(T) -> R|): R|R| {
        ^let R|<local>/block|.R|SubstitutionOverride<kotlin/Function1.invoke: R|R|>|(this@R|/let|)
    }
    public final [BODY_RESOLVE] class B : R|kotlin/Any| {
        public [BODY_RESOLVE] constructor(): R|B| {
            super<R|kotlin/Any|>()
        }

        public final [BODY_RESOLVE] val a: R|kotlin/Int| = Int(10)
            public [BODY_RESOLVE] get(): R|kotlin/Int|

        public final [BODY_RESOLVE] val x: R|kotlin/String| = R|/with|<R|kotlin/Int|, R|kotlin/String|>(this@R|/B|.R|/B.a|, <L> = [BODY_RESOLVE] with@fun R|kotlin/Int|.<anonymous>(): R|kotlin/String| <inline=Inline, kind=UNKNOWN>  {
            ^ this@R|special/anonymous|.R|kotlin/Int.toString|().R|/let|<R|kotlin/String|, R|kotlin/String|>(<L> = [BODY_RESOLVE] let@fun <anonymous>([BODY_RESOLVE] it: R|kotlin/String|): R|kotlin/String| <inline=Inline, kind=UNKNOWN>  {
                ^ R|<local>/it|
            }
            )
        }
        )
            public [BODY_RESOLVE] get(): R|kotlin/String|

    }
