Lines Matching full:safety

34     /// # Safety
42     /// # Safety
59         // SAFETY: The safety requirements for this function ensure that the object is still alive,  in borrow()
61         // The safety requirements of `from_foreign` also ensure that the object remains alive for  in borrow()
67         // SAFETY: The safety requirements of this function ensure that `ptr` comes from a previous  in from_foreign()
240         // SAFETY: We contain a `MaybeUninit`, so it is OK for the `init_func` to not fully  in ffi_init()
274 /// # Safety
290     /// # Safety
315 // SAFETY: It is safe to send `ARef<T>` to another thread when the underlying `T` is `Sync` because
321 // SAFETY: It is safe to send `&ARef<T>` to another thread when the underlying `T` is `Sync`
333     /// # Safety
340         // INVARIANT: The safety requirements guarantee that the new instance now owns the  in from_raw()
352         // SAFETY: We just incremented the refcount above.  in clone()
361         // SAFETY: The type invariants guarantee that the object is valid.  in deref()
369         // SAFETY: We just incremented the refcount above.  in from()
376         // SAFETY: The type invariants guarantee that the `ARef` owns the reference we're about to  in drop()