fn generate_series_step<T, S>( start: T, stop: T, step: S, ) -> Result<impl Iterator<Item = T>>where T: CheckedAdd<S, Output = T> + PartialOrd + Copy, S: IsNegative + Copy,