Move `iterator_step_by_zero` and correct the documentation#4913

Merged

bors merged 5 commits intomasterfrom

unknown repository

Dec 20, 2019

Commits on Dec 18, 2019

Update iterator_step_by_zero
Michael Wright
committed
Correct `iterator_step_by_zero` documentation
Michael Wright
committed
Fix `iterator_step_by_zero` definition
Michael Wright
committed

Commits on Dec 19, 2019

Fix `iterator_step_by_zero` description in declaration

mikerite
and
phansch
authored

Commits on Dec 20, 2019

Update lints for `iterator_step_by_zero` changes
Michael Wright
committed