Lines Matching full:safety

69 /// # Safety
113 /// # Safety
131 /// # Safety
150 /// # Safety
181             // SAFETY: `layout` is non-zero in size,  in alloc_impl()
190     // SAFETY: Same as `Allocator::grow`
207             // SAFETY: `new_size` is non-zero as `old_size` is greater than or equal to `new_size`  in grow_impl()
208             // as required by safety conditions. Other conditions must be upheld by the caller  in grow_impl()
223             // SAFETY: because `new_layout.size()` must be greater than or equal to `old_size`,  in grow_impl()
226             // `new_ptr`. Thus, the call to `copy_nonoverlapping` is safe. The safety contract  in grow_impl()
254             // SAFETY: `layout` is non-zero in size,  in deallocate()
267         // SAFETY: all conditions must be upheld by the caller  in grow()
278         // SAFETY: all conditions must be upheld by the caller  in grow_zeroed()
295             // SAFETY: conditions must be upheld by the caller  in shrink()
301             // SAFETY: `new_size` is non-zero. Other conditions must be upheld by the caller  in shrink()
311             // SAFETY: because `new_size` must be smaller than or equal to `old_layout.size()`,  in shrink()
314             // `new_ptr`. Thus, the call to `copy_nonoverlapping` is safe. The safety contract  in shrink()