Formatting

Author: tautschnig

library/alloc/src/slice.rs

@@ -52,8 +52,6 @@ pub use core::slice::{from_mut_ptr_range, from_ptr_range};
 pub use core::slice::{from_raw_parts, from_raw_parts_mut};
 #[unstable(feature = "slice_range", issue = "76393")]
 pub use core::slice::{range, try_range};
-#[cfg(kani)]
-use crate::kani;
 
 ////////////////////////////////////////////////////////////////////////////////
 // Basic slice extension methods
@@ -64,6 +62,8 @@ use crate::alloc::Global;
 #[cfg(not(no_global_oom_handling))]
 use crate::borrow::ToOwned;
 use crate::boxed::Box;
+#[cfg(kani)]
+use crate::kani;
 use crate::vec::Vec;
 
 impl<T> [T] {
@@ -529,7 +529,7 @@ impl<T> [T] {
             #[cfg(kani)]
             let buf_ptr = ptr::slice_from_raw_parts(buf.as_ptr(), capacity);
             #[cfg(kani)]
-            let len_ptr = unsafe {(&buf as *const Vec<T>  as *const usize).add(2)};
+            let len_ptr = unsafe { (&buf as *const Vec<T>  as *const usize).add(2) };
             #[kani::loop_invariant(
                 kani::mem::same_allocation(buf.as_ptr(), buf.as_ptr().wrapping_add(capacity)) &&
                 unsafe {*len_ptr <= T::MAX_SLICE_LEN} &&