From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 12 Apr 2025 23:43:51 +0000 (-0700)
Subject: some cosmetic tweaks
X-Git-Tag: v0.10.0~35^2~40
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=46f259bf7dcef54da68b60567b351d7b32ab2317;p=scryer-prolog.git

some cosmetic tweaks
---

diff --git a/src/types.rs b/src/types.rs
index 8c989d9b..d68f605d 100644
--- a/src/types.rs
+++ b/src/types.rs
@@ -698,7 +698,7 @@ impl HeapCellValue {
     }
 }
 
-const_assert!(mem::size_of::<HeapCellValue>() == 8);
+const_assert!(size_of::<HeapCellValue>() == 8);
 
 #[bitfield]
 #[repr(u64)]
@@ -738,7 +738,7 @@ impl From<*const IndexPtr> for UntypedArenaPtr {
 impl From<UntypedArenaPtr> for *const ArenaHeader {
     #[inline]
     fn from(ptr: UntypedArenaPtr) -> *const ArenaHeader {
-        ptr.get_ptr() as *const ArenaHeader
+        ptr.get_ptr().cast::<ArenaHeader>()
     }
 }
 
@@ -758,14 +758,14 @@ impl UntypedArenaPtr {
     pub fn get_tag(self) -> ArenaHeaderTag {
         unsafe {
             debug_assert!(!self.get_ptr().is_null());
-            let header = *(self.get_ptr() as *const ArenaHeader);
+            let header = *self.get_ptr().cast::<ArenaHeader>();
             header.get_tag()
         }
     }
 
     #[inline]
     pub fn payload_offset(self) -> *const u8 {
-        unsafe { self.get_ptr().add(mem::size_of::<ArenaHeader>()) }
+        unsafe { self.get_ptr().add(size_of::<ArenaHeader>()) }
     }
 
     /// # Safety