Remove whitespace

tautschnig · tautschnig · commit 6258c7d435b1 · 2025-05-30T10:50:31.000Z
diff --git a/library/core/src/iter/range.rs b/library/core/src/iter/range.rs
@@ -504,7 +504,7 @@ impl Step for char {
 
     #[requires({
         (start as u32).checked_add(count as u32).is_some_and(|dist|
-            (start as u32) >= 0xD800 || 
+            (start as u32) >= 0xD800 ||
             dist < 0xD800 ||
             dist.checked_add(0x800).is_some()
          )

Original file line number	Diff line number	Diff line change
`@@ -504,7 +504,7 @@ impl Step for char {`
`504`	`504`
`505`	`505`	`#[requires({`
`506`	`506`	`(start as u32).checked_add(count as u32).is_some_and(\|dist\|`
`507`		`- (start as u32) >= 0xD800 \|\|`
	`507`	`+ (start as u32) >= 0xD800 \|\|`
`508`	`508`	`dist < 0xD800 \|\|`
`509`	`509`	`dist.checked_add(0x800).is_some()`
`510`	`510`	`)`