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

FILE: [ResolvedTo(IMPORTS)] functionInsideFileLevel2.kt
    public final [ResolvedTo(STATUS)] annotation class Anno : R|kotlin/Annotation| {
        public [ResolvedTo(BODY_RESOLVE)] constructor([ResolvedTo(BODY_RESOLVE)] value: R|kotlin/String|): R|foo/Anno| {
            super<R|kotlin/Any|>()
        }

        public final [ResolvedTo(BODY_RESOLVE)] val value: R|kotlin/String| = R|<local>/value|
            public [ResolvedTo(BODY_RESOLVE)] get(): R|kotlin/String|

    }
    public final [ResolvedTo(BODY_RESOLVE)] fun <[ResolvedTo(BODY_RESOLVE)] T> action([ResolvedTo(BODY_RESOLVE)] body: R|() -> T|): R|T| {
        ^action R|<local>/body|.R|SubstitutionOverride<kotlin/Function0.invoke: R|T|>|()
    }
    [ResolvedTo(BODY_RESOLVE)] @R|foo/Anno|[Types](value = R|foo/action|<R|kotlin/Unit|>(<L> = [ResolvedTo(BODY_RESOLVE)] action@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
        local final [ResolvedTo(BODY_RESOLVE)] fun bar([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|, [ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Long| {
            [ResolvedTo(BODY_RESOLVE)] lval l: R|kotlin/Long| = Long(1)
            ^bar R|<local>/l|
        }

    }
    ) [evaluated = R|foo/action|<R|kotlin/Unit|>(<L> = [ResolvedTo(BODY_RESOLVE)] action@fun <anonymous>(): R|kotlin/Unit| <inline=NoInline>  {
        local final [ResolvedTo(BODY_RESOLVE)] fun bar([ResolvedTo(BODY_RESOLVE)] i: R|kotlin/Int|, [ResolvedTo(BODY_RESOLVE)] s: R|kotlin/String|): R|kotlin/Long| {
            [ResolvedTo(BODY_RESOLVE)] lval l: R|kotlin/Long| = Long(1)
            ^bar R|<local>/l|
        }

    }
    )]) <DANGLING MODIFIER: Top level declaration expected>