KT element: KtParameter FIR element: FirPropertyImpl FIR source kind: KtRealSourceElementKind FIR element rendered: [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.R|kotlin/collections/IntIterator.next|() FIR FILE: FILE: [ResolvedTo(IMPORTS)] forExpressionVariable.kt public final [ResolvedTo(BODY_RESOLVE)] fun foo(): R|kotlin/Unit| { { [ResolvedTo(BODY_RESOLVE)] lval : R|kotlin/collections/IntIterator| = Int(0).R|kotlin/Int.rangeTo|(Int(1)).R|kotlin/ranges/IntProgression.iterator|() while(R|/|.R|SubstitutionOverride|()) { [ResolvedTo(BODY_RESOLVE)] lval x: R|kotlin/Int| = R|/|.R|kotlin/collections/IntIterator.next|() { } } } }