Update library/core/src/iter/adapters/step_by.rs

Author: tautschnig

library/core/src/iter/adapters/step_by.rs

@@ -49,7 +49,6 @@ impl<I> StepBy<I> {
     /// The `step` that was originally passed to `Iterator::step_by(step)`,
     /// aka `self.step_minus_one + 1`.
     #[inline]
-    #[requires(self.step_minus_one != usize::MAX)]
     fn original_step(&self) -> NonZero<usize> {
         // SAFETY: By type invariant, `step_minus_one` cannot be `MAX`, which
         // means the addition cannot overflow and the result cannot be zero.