Lines Matching full:safety

61     /// # Safety
69         // INVARIANT: By the safety requirements of this function, invariants are upheld.  in aref_from_raw()
70         // SAFETY: By the safety requirement of this function, we own a  in aref_from_raw()
81     /// # Safety
86         // SAFETY: By type invariant, `self.0` is a valid `struct request` and  in start_unchecked()
124         // SAFETY: By type invariant, `this.0` was a valid `struct request`. The  in end_ok()
136     /// # Safety
142         // SAFETY: By safety requirements for this function, `this` is a  in wrapper_ptr()
146         // SAFETY: By C API contract, wrapper_ptr points to a valid allocation  in wrapper_ptr()
154         // SAFETY: By type invariant, `self.0` is a valid allocation. Further,  in wrapper_ref()
184     /// # Safety
188         // SAFETY: Because of the safety requirements of this function, the  in refcount_ptr()
194 // SAFETY: Exclusive access is thread-safe for `Request`. `Request` has no `&mut
199 // SAFETY: Shared access is thread-safe for `Request`. `&self` methods that
208     // SAFETY: Because the operation passed to `fetch_update` above always  in atomic_relaxed_op_return()
229 // SAFETY: All instances of `Request<T>` are reference counted. This
247         // SAFETY: The type invariants of `ARef` guarantee that `obj` is valid  in dec_ref()
250         // SAFETY: The type invariant of `Request` guarantees that the private  in dec_ref()