formatting

AlexLB99 · AlexLB99 · commit 68dd9bac5a14 · 2025-07-22T15:40:28.000-04:00
diff --git a/library/core/src/slice/mod.rs b/library/core/src/slice/mod.rs
@@ -4124,7 +4124,7 @@ impl<T> [T] {
         }
     )]
     //The following clause guarantees that middle is of maximum size within self
-    //If U or T are ZSTs, then middle has size zero, so we adapt the check in that case    
+    //If U or T are ZSTs, then middle has size zero, so we adapt the check in that case
     #[ensures(|(prefix, _, suffix): &(&mut [T], &mut [U], &mut [T])|
         ((U::IS_ZST || T::IS_ZST) && prefix.len() == old(self.len())) || (
             (prefix.len() * size_of::<T>() < align_of::<U>()) &&

Original file line number	Diff line number	Diff line change
`@@ -4124,7 +4124,7 @@ impl<T> [T] {`
`4124`	`4124`	`}`
`4125`	`4125`	`)]`
`4126`	`4126`	`//The following clause guarantees that middle is of maximum size within self`
`4127`		`- //If U or T are ZSTs, then middle has size zero, so we adapt the check in that case`
	`4127`	`+ //If U or T are ZSTs, then middle has size zero, so we adapt the check in that case`
`4128`	`4128`	`#[ensures(\|(prefix, _, suffix): &(&mut [T], &mut [U], &mut [T])\|`
`4129`	`4129`	`((U::IS_ZST \|\| T::IS_ZST) && prefix.len() == old(self.len())) \|\| (`
`4130`	`4130`	`(prefix.len() * size_of::<T>() < align_of::<U>()) &&`