Update library/core/src/iter/range.rs

tautschnig · carolynzech · web-flow · commit 0ccaf2f962fd · 2025-05-30T12:16:36.000+02:00
Co-authored-by: Carolyn Zech &lt;carolynzech@gmail.com&gt;
diff --git a/library/core/src/iter/range.rs b/library/core/src/iter/range.rs
@@ -502,7 +502,6 @@ impl Step for char {
         Some(unsafe { char::from_u32_unchecked(res) })
     }
 
-    #[requires((start as u32).checked_add(count as u32).is_some())]
     #[requires({
         let dist = (start as u32).checked_add(count as u32);
         dist.is_some() &&

Original file line number	Diff line number	Diff line change
`@@ -502,7 +502,6 @@ impl Step for char {`
`502`	`502`	`Some(unsafe { char::from_u32_unchecked(res) })`
`503`	`503`	`}`
`504`	`504`
`505`		`- #[requires((start as u32).checked_add(count as u32).is_some())]`
`506`	`505`	`#[requires({`
`507`	`506`	`let dist = (start as u32).checked_add(count as u32);`
`508`	`507`	`dist.is_some() &&`