Fix imports

Author: Fedor Ryabinin

library/core/src/array/ascii.rs

@@ -1,10 +1,8 @@
-use safety::{ensures,requires};
-#[cfg(kani)]
-use crate::kani;
-#[allow(unused_imports)]
-use crate::ub_checks::*;
+use safety::requires;
 
 use crate::ascii;
+#[cfg(kani)]
+use crate::kani;
 
 impl<const N: usize> [u8; N] {
     /// Converts this array of bytes into an array of ASCII characters,

library/core/src/array/drain.rs

@@ -1,10 +1,8 @@
-use safety::{ensures,requires};
-#[cfg(kani)]
-use crate::kani;
-#[allow(unused_imports)]
-use crate::ub_checks::*;
+use safety::requires;
 
 use crate::iter::{TrustedLen, UncheckedIterator};
+#[cfg(kani)]
+use crate::kani;
 use crate::mem::ManuallyDrop;
 use crate::ptr::drop_in_place;
 use crate::slice;

library/core/src/fmt/rt.rs

@@ -6,17 +6,14 @@
 //!
 //! Do not modify them without understanding the consequences for the format_args!() macro.
 
-use crate::ub_checks::Invariant;
-
-use safety::{ensures,requires};
-#[cfg(kani)]
-use crate::kani;
-#[allow(unused_imports)]
-use crate::ub_checks::*;
+use safety::requires;
 
 use super::*;
 use crate::hint::unreachable_unchecked;
+#[cfg(kani)]
+use crate::kani;
 use crate::ptr::NonNull;
+use crate::ub_checks::Invariant;
 
 #[lang = "format_placeholder"]
 #[derive(Copy, Clone)]

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

@@ -1,8 +1,7 @@
-use crate::ub_checks::Invariant;
-
 use crate::iter::FusedIterator;
 use crate::mem::MaybeUninit;
 use crate::{fmt, ptr};
+use crate::ub_checks::Invariant;
 
 /// An iterator over the mapped windows of another iterator.
 ///
@@ -297,4 +296,4 @@ impl<T, const N: usize> Invariant for Buffer<T, N> {
     fn is_safe(&self) -> bool {
         self.start + N <= 2 * N
     }
-}
+}

library/core/src/iter/traits/unchecked_iterator.rs

@@ -1,10 +1,8 @@
-use safety::{ensures,requires};
-#[cfg(kani)]
-use crate::kani;
-#[allow(unused_imports)]
-use crate::ub_checks::*;
+use safety::requires;
 
 use crate::iter::TrustedLen;
+#[cfg(kani)]
+use crate::kani;
 
 /// [`TrustedLen`] cannot have methods, so this allows augmenting it.
 ///