Substitute unstable with pub(crate in kani_core

model-checking · Jul 10, 2024 · e3ecf8d · e3ecf8d
1 parent 96b47da
commit e3ecf8d
Showing 1 changed file with 16 additions and 14 deletions.
diff --git a/library/kani_core/src/mem.rs b/library/kani_core/src/mem.rs
@@ -307,28 +307,30 @@ macro_rules! kani_mem {
         }
 
         /// Get the object ID of the given pointer.
-        #[doc(hidden)]
-        #[$crate::unstable(
-            feature = "ghost-state",
-            issue = 3184,
-            reason = "experimental ghost state/shadow memory API"
-        )]
+        // TODO: Add this back later, as there is no unstable attribute here.
+        // #[doc(hidden)]
+        // #[crate::unstable(
+        //     feature = "ghost-state",
+        //     issue = 3184,
+        //     reason = "experimental ghost state/shadow memory API"
+        // )]
         #[rustc_diagnostic_item = "KaniPointerObject"]
         #[inline(never)]
-        pub fn pointer_object<T: ?Sized>(_ptr: *const T) -> usize {
+        pub(crate) fn pointer_object<T: ?Sized>(_ptr: *const T) -> usize {
             kani_intrinsic()
         }
 
         /// Get the object offset of the given pointer.
-        #[doc(hidden)]
-        #[$crate::unstable(
-            feature = "ghost-state",
-            issue = 3184,
-            reason = "experimental ghost state/shadow memory API"
-        )]
+        // TODO: Add this back later, as there is no unstable attribute here.
+        // #[doc(hidden)]
+        // #[crate::unstable(
+        //     feature = "ghost-state",
+        //     issue = 3184,
+        //     reason = "experimental ghost state/shadow memory API"
+        // )]
         #[rustc_diagnostic_item = "KaniPointerOffset"]
         #[inline(never)]
-        pub fn pointer_offset<T: ?Sized>(_ptr: *const T) -> usize {
+        pub(crate) fn pointer_offset<T: ?Sized>(_ptr: *const T) -> usize {
             kani_intrinsic()
         }
     };