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 list: R|kotlin/collections/List| Element 7 Scope: FirLocalScope Element 8 Scope: FirLocalScope Properties: FirPropertySymbol lval : R|kotlin/collections/Iterator| Element 9 Scope: FirLocalScope FILE: [ResolvedTo(IMPORTS)] forLoopVariable.kt public final [ResolvedTo(BODY_RESOLVE)] fun usage([ResolvedTo(BODY_RESOLVE)] list: R|kotlin/collections/List|): R|kotlin/Unit| { { [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/collections/Iterator| = R|/list|.R|SubstitutionOverride|>|() while(R|/|.R|SubstitutionOverride|()) { [ResolvedTo(BODY_RESOLVE)] lval loopVar: R|kotlin/Int| = R|/|.R|SubstitutionOverride|() { } } } }