docs: ArcHandle::as_inner safety

morrisonlevi · morrisonlevi · commit 4c866d893a72 · 2025-12-15T22:42:33.000-07:00
diff --git a/libdd-profiling-ffi/src/arc_handle.rs b/libdd-profiling-ffi/src/arc_handle.rs
@@ -50,6 +50,8 @@ impl<T> ArcHandle<T> {
 
     #[inline]
     pub fn as_inner(&self) -> Result<&T, EmptyHandleError> {
+        // SAFETY: If non-null, self.0 was created from Arc and remains valid,
+        // at least as long as we can trust the C side to not do insane things.
         unsafe { self.0.as_ref() }.ok_or(EmptyHandleError)
     }
 

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,8 @@ impl<T> ArcHandle<T> {`
`50`	`50`
`51`	`51`	`#[inline]`
`52`	`52`	`pub fn as_inner(&self) -> Result<&T, EmptyHandleError> {`
	`53`	`+ // SAFETY: If non-null, self.0 was created from Arc and remains valid,`
	`54`	`+ // at least as long as we can trust the C side to not do insane things.`
`53`	`55`	`unsafe { self.0.as_ref() }.ok_or(EmptyHandleError)`
`54`	`56`	`}`
`55`	`57`