Tower Data Context:
    Element 0
        Scope: FirDefaultStarImportingScope
    Element 1
        Scope: FirExplicitStarImportingScope
    Element 2
        Scope: FirDefaultSimpleImportingScope
    Element 3
        Scope: FirDefaultSimpleImportingScope
    Element 4
        Scope: FirPackageMemberScope
    Element 5
        Scope: FirExplicitSimpleImportingScope
    Element 6
        Scope: FirLocalScope
    Element 7
        Scope: FirLocalScope
            Properties:
                FirLocalPropertySymbol lvar a: R|kotlin/Any?|
Smart Casts:
    FirLocalPropertySymbol lvar a: R|kotlin/Any?|
    Stability: STABLE_VALUE
    Types:
        kotlin.Int

FILE: [ResolvedTo(IMPORTS)] collectionLiteralWithLambda.kt
    public final [ResolvedTo(STATUS)] class Callbacks : R|kotlin/Any| {
        public [ResolvedTo(STATUS)] constructor(): R|Callbacks| {
            LAZY_super<R|kotlin/Any|>
        }

        public final companion [ResolvedTo(STATUS)] object Companion : R|kotlin/Any| {
            private [ResolvedTo(STATUS)] constructor(): R|Callbacks.Companion| {
                LAZY_super<R|kotlin/Any|>
            }

            public final inline operator [ResolvedTo(EXPECT_ACTUAL_MATCHING)] fun of([ResolvedTo(EXPECT_ACTUAL_MATCHING)] first: R|() -> kotlin/Unit|, [ResolvedTo(EXPECT_ACTUAL_MATCHING)] vararg other: R|kotlin/Array<out () -> kotlin/Unit>|): R|Callbacks| { LAZY_BLOCK }

        }

    }
    public final [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] fun takeC([ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] c: R|Callbacks|, [ResolvedTo(IMPLICIT_TYPES_BODY_RESOLVE)] a: R|kotlin/Any|): R|kotlin/Unit| {
        ^takeC Q|kotlin/Unit|
    }
    public final [ResolvedTo(BODY_RESOLVE)] fun main(): R|kotlin/Unit| {
        [ResolvedTo(BODY_RESOLVE)] lvar a: R|kotlin/Any?|
        R|<local>/a| = Int(42)
        R|/takeC<Inapplicable(UNSTABLE_SMARTCAST): /takeC>#|(Q|Callbacks.Companion|.R|/Callbacks.Companion.of|([ResolvedTo(BODY_RESOLVE)] takeC@fun <anonymous>(): R|kotlin/Unit| <inline=Inline, kind=UNKNOWN>  {
            R|<local>/a| = Null(null)
        }
        ), R|<local>/a|)
    }
