Lines Matching full:safety

72 /// # Safety
117 /// # Safety
135 /// # Safety
154 /// # Safety
185             // SAFETY: `layout` is non-zero in size,  in alloc_impl()
194     // SAFETY: Same as `Allocator::grow`
211             // SAFETY: `new_size` is non-zero as `old_size` is greater than or equal to `new_size`  in grow_impl()
212             // as required by safety conditions. Other conditions must be upheld by the caller  in grow_impl()
227             // SAFETY: because `new_layout.size()` must be greater than or equal to `old_size`,  in grow_impl()
230             // `new_ptr`. Thus, the call to `copy_nonoverlapping` is safe. The safety contract  in grow_impl()
258             // SAFETY: `layout` is non-zero in size,  in deallocate()
271         // SAFETY: all conditions must be upheld by the caller  in grow()
282         // SAFETY: all conditions must be upheld by the caller  in grow_zeroed()
299             // SAFETY: conditions must be upheld by the caller  in shrink()
305             // SAFETY: `new_size` is non-zero. Other conditions must be upheld by the caller  in shrink()
315             // SAFETY: because `new_size` must be smaller than or equal to `old_layout.size()`,  in shrink()
318             // `new_ptr`. Thus, the call to `copy_nonoverlapping` is safe. The safety contract  in shrink()