Lines Matching full:safety

30 // SAFETY:
35 // SAFETY: It's OK to access `Credential` through shared references from other threads because
42     /// # Safety
48         // SAFETY: The safety requirements guarantee the validity of the dereference, while the
63         // SAFETY: The invariants of this type ensures that the pointer is valid.
71         // SAFETY: By the type invariant, we know that `self.0` is valid. Furthermore, the `euid`
78 // SAFETY: The type invariants guarantee that `Credential` is always ref-counted.
82         // SAFETY: The existence of a shared reference means that the refcount is nonzero.
88         // SAFETY: The safety requirements guarantee that the refcount is nonzero. The cast is okay