fix unused import error

model-checking · Aug 1, 2024 · ca7bc60 · ca7bc60
1 parent 562d672
commit ca7bc60
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/library/core/src/char/methods.rs b/library/core/src/char/methods.rs
@@ -1,6 +1,5 @@
 //! impl char {}
 
-use safety::ensures;
 use crate::slice;
 use crate::str::from_utf8_unchecked_mut;
 use crate::unicode::printable::is_printable;
@@ -1845,6 +1844,7 @@ pub fn encode_utf16_raw(mut code: u32, dst: &mut [u16]) -> &mut [u16] {
 #[unstable(feature="kani", issue="none")]
 mod verify {
  use super::*;
+ use safety::ensures;
 
  #[ensures(|result| c.is_ascii() == (result.is_some() && (result.unwrap() as u8 as char == *c)))]
  fn as_ascii_clone(c: &char) -> Option<ascii::Char> {