KT element: KtBinaryExpression FIR element: FirFunctionCallImpl FIR source kind: KtRealSourceElementKind FIR element rendered: Int(0).R|kotlin/Int.rangeTo|(Int(1)) FIR FILE: FILE: [ResolvedTo(IMPORTS)] forExpressionRange.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|() { } } } }