fixed const_ptr

Author: thanhnguyen-aws

library/alloc/src/collections/vec_deque/mod.rs

@@ -3086,7 +3086,7 @@ impl<T, const N: usize> From<[T; N]> for VecDeque<T> {
     }
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use core::kani;

library/core/src/alloc/layout.rs

@@ -615,7 +615,7 @@ impl fmt::Display for LayoutError {
     }
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use super::*;

library/core/src/ascii/ascii_char.rs

@@ -622,7 +622,7 @@ impl fmt::Debug for AsciiChar {
     }
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use AsciiChar;

library/core/src/char/convert.rs

@@ -297,7 +297,7 @@ pub(super) const fn from_digit(num: u32, radix: u32) -> Option<char> {
     }
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use super::*;

library/core/src/char/methods.rs

@@ -1868,7 +1868,7 @@ pub const fn encode_utf16_raw(mut code: u32, dst: &mut [u16]) -> &mut [u16] {
     unsafe { slice::from_raw_parts_mut(dst.as_mut_ptr(), len) }
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use safety::ensures;

library/core/src/ffi/c_str.rs

@@ -866,7 +866,7 @@ impl Iterator for Bytes<'_> {
 #[unstable(feature = "cstr_bytes", issue = "112115")]
 impl FusedIterator for Bytes<'_> {}
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use super::*;

library/core/src/intrinsics/mod.rs

@@ -4869,7 +4869,7 @@ pub(crate) const fn miri_promise_symbolic_alignment(ptr: *const (), align: usize
     )
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use core::mem::MaybeUninit;

library/core/src/mem/mod.rs

@@ -1379,7 +1379,7 @@ pub macro offset_of($Container:ty, $($fields:expr)+ $(,)?) {
     {builtin # offset_of($Container, $($fields)+)}
 }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use super::*;

library/core/src/num/mod.rs

@@ -1565,7 +1565,7 @@ from_str_radix_size_impl! { signed i32 isize, unsigned u32 usize }
 #[cfg(target_pointer_width = "64")]
 from_str_radix_size_impl! { signed i64 isize, unsigned u64 usize }
 
-#[cfg(kani)]
+#[cfg(kanix)]
 #[unstable(feature = "kani", issue = "none")]
 mod verify {
     use super::*;

library/core/src/num/nonzero.rs

@@ -2225,7 +2225,7 @@ nonzero_integer! {
 }
 
 #[unstable(feature = "kani", issue = "none")]
-#[cfg(kani)]
+#[cfg(kanix)]
 mod verify {
     use super::*;