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
            Properties:
                FirValueParameterSymbol df: R|DataFrame<*>?|
    Element 7
        Scope: FirLocalScope
            Properties:
                FirLocalPropertySymbol lval df1: R|DataFrame<<local>/DataFrameType>?|
    Element 8
        Implicit receiver:
            FirReceiverParameterSymbol <explicit receiver parameter>: R|<local>/Scope1|
                Type: <local>.Scope1
Expression Stability: PROPERTY_WITH_GETTER
Smart Casts:
    FirValueParameterSymbol df: R|DataFrame<*>?|
    Stability: STABLE_VALUE
    Types:
        kotlin.Any
    FirLocalPropertySymbol lval df1: R|DataFrame<<local>/DataFrameType>?|
    Stability: STABLE_VALUE
    Types:
        kotlin.Any

FILE: [ResolvedTo(IMPORTS)] callShapeBasedInjector_safeCall.kt
    public abstract [ResolvedTo(STATUS)] interface DataFrame<[ResolvedTo(STATUS)] out T> : R|kotlin/Any| {
    }
    public final? [ResolvedTo(RAW_FIR)] annotation class Refine : R|kotlin/Annotation| {
        public? [ResolvedTo(RAW_FIR)] constructor(): R|Refine| {
            LAZY_super<R|kotlin/Any|>
        }

    }
    @R|Refine|[Types]() public? final? [ResolvedTo(TYPES)] fun <[ResolvedTo(STATUS)] T, [ResolvedTo(STATUS)] R> [ResolvedTo(STATUS)] R|DataFrame<T>|.add([ResolvedTo(STATUS)] columnName: R|kotlin/String|, [ResolvedTo(STATUS)] expression: R|() -> R|): R|DataFrame<kotlin/Any?>| { LAZY_BLOCK }
    public final [ResolvedTo(BODY_RESOLVE)] fun test_1([ResolvedTo(BODY_RESOLVE)] df: R|DataFrame<*>?|): R|kotlin/Unit| {
        [ResolvedTo(BODY_RESOLVE)] lval df1: R|DataFrame<<local>/DataFrameType>?| = R|<local>/df|?.{ R|<local>/it|.R|kotlin/let|<R|DataFrame<*>|, R|DataFrame<<local>/DataFrameType>|>(<L> = [ResolvedTo(BODY_RESOLVE)] fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|DataFrame<*>|): R|DataFrame<<local>/DataFrameType>| <inline=Inline, kind=EXACTLY_ONCE>  {
            local abstract [ResolvedTo(BODY_RESOLVE)] class Schema1 : R|kotlin/Any| {
            }

            local abstract [ResolvedTo(BODY_RESOLVE)] class Scope1 : R|kotlin/Any| {
            }

            local abstract [ResolvedTo(BODY_RESOLVE)] class DataFrameType : R|<local>/Schema1| {
            }

            ^ R|<local>/it|.R|/add|<R|kotlin/Any?|, R|kotlin/Int|>(String(column), <L> = [ResolvedTo(BODY_RESOLVE)] add@fun <anonymous>(): R|kotlin/Int| <inline=NoInline>  {
                ^ Int(1)
            }
            )
        }
        ) }
        R|<local>/df1|?.{ (this@R|/test_1|, $subj$).R|<local>/Scope1.column| }
    }
