```public infix fun IntProgression.step(step: Int)...

# stdlib

[miha-x64]

public infix fun IntProgression.step(step: Int): IntProgression {
    checkStepIsPositive(step > 0, step)
    return IntProgression.fromClosedRange(first, last, if (this.step > 0) step else -step)
}

else branch is dead here

[Erik Christensen]

Nope -- this.step and step are different variables.

[miha-x64]

Got it, thanks!