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 param: R|kotlin/String?|
    Element 7
        Scope: FirLocalScope
    Element 8
        Scope: FirLocalScope
            Properties:
                FirValueParameterSymbol it: R|kotlin/String|
    Element 9
        Scope: FirLocalScope
Smart Casts:
    FirValueParameterSymbol param: R|kotlin/String?|
    Types:
        kotlin.Any

FILE: [ResolvedTo(IMPORTS)] insideLetOnNullableReceiver.kt
    public final [ResolvedTo(BODY_RESOLVE)] fun foo([ResolvedTo(BODY_RESOLVE)] param: R|kotlin/String?|): R|kotlin/String| {
        R|<local>/param|?.{ $subj$.R|kotlin/let|<R|kotlin/String|, R|kotlin/Nothing|>(<L> = [ResolvedTo(BODY_RESOLVE)] let@fun <anonymous>([ResolvedTo(BODY_RESOLVE)] it: R|kotlin/String|): R|kotlin/Nothing| <inline=Inline, kind=EXACTLY_ONCE>  {
            ^foo R|<local>/param|
        }
        ) }
        ^foo String()
    }