diff --git a/crates/core_simd/src/cast.rs b/crates/core_simd/src/cast.rs
index d14b0de5d5e7..33878581e0b5 100644
--- a/crates/core_simd/src/cast.rs
+++ b/crates/core_simd/src/cast.rs
@@ -1,23 +1,45 @@
 use crate::simd::SimdElement;
 
 /// Supporting trait for `Simd::cast`.  Typically doesn't need to be used directly.
+///
+/// # Safety
+/// Implementing this trait asserts that the type is a valid vector element for the `simd_cast` or
+/// `simd_as` intrinsics.
 pub unsafe trait SimdCast: SimdElement {}
 
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for i8 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for i16 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for i32 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for i64 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for isize {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for u8 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for u16 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for u32 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for u64 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for usize {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for f32 {}
+// Safety: primitive number types can be cast to other primitive number types
 unsafe impl SimdCast for f64 {}
 
 /// Supporting trait for `Simd::cast_ptr`.  Typically doesn't need to be used directly.
+///
+/// # Safety
+/// Implementing this trait asserts that the type is a valid vector element for the `simd_cast_ptr`
+/// intrinsic.
 pub unsafe trait SimdCastPtr: SimdElement {}
 
+// Safety: pointers can be cast to other pointer types
 unsafe impl<T> SimdCastPtr for *const T {}
+// Safety: pointers can be cast to other pointer types
 unsafe impl<T> SimdCastPtr for *mut T {}
diff --git a/crates/core_simd/src/elements/const_ptr.rs b/crates/core_simd/src/elements/const_ptr.rs
index 0a3d4ec40870..7c856fd4332b 100644
--- a/crates/core_simd/src/elements/const_ptr.rs
+++ b/crates/core_simd/src/elements/const_ptr.rs
@@ -86,7 +86,7 @@ where
 
     #[inline]
     fn as_mut(self) -> Self::MutPtr {
-        unsafe { intrinsics::simd_cast_ptr(self) }
+        self.cast_ptr()
     }
 
     #[inline]
@@ -111,11 +111,13 @@ where
 
     #[inline]
     fn expose_addr(self) -> Self::Usize {
+        // Safety: `self` is a pointer vector
         unsafe { intrinsics::simd_expose_addr(self) }
     }
 
     #[inline]
     fn from_exposed_addr(addr: Self::Usize) -> Self {
+        // Safety: `self` is a pointer vector
         unsafe { intrinsics::simd_from_exposed_addr(addr) }
     }
 
diff --git a/crates/core_simd/src/elements/mut_ptr.rs b/crates/core_simd/src/elements/mut_ptr.rs
index e6aa9808f373..5e904d24a42e 100644
--- a/crates/core_simd/src/elements/mut_ptr.rs
+++ b/crates/core_simd/src/elements/mut_ptr.rs
@@ -81,8 +81,7 @@ where
 
     #[inline]
     fn as_const(self) -> Self::ConstPtr {
-        unimplemented!()
-        //self.cast()
+        self.cast_ptr()
     }
 
     #[inline]
@@ -107,11 +106,13 @@ where
 
     #[inline]
     fn expose_addr(self) -> Self::Usize {
+        // Safety: `self` is a pointer vector
         unsafe { intrinsics::simd_expose_addr(self) }
     }
 
     #[inline]
     fn from_exposed_addr(addr: Self::Usize) -> Self {
+        // Safety: `self` is a pointer vector
         unsafe { intrinsics::simd_from_exposed_addr(addr) }
     }