Fix imports

Author: Fedor Ryabinin

library/alloctests/tests/sort/known_good_stable_sort.rs

@@ -6,7 +6,6 @@
 
 #![feature(ub_checks)]
 use alloc::alloc::{Layout, alloc, dealloc};
-
 #[cfg(kani)]
 #[unstable(feature = "kani", issue = "none")]
 use core::kani;