Lines Matching full:guaranteed

266         //   guaranteed to be part of the same allocated object.  in spare_capacity_mut()
270         // SAFETY: The memory between `self.len` and `self.capacity` is guaranteed to be allocated  in spare_capacity_mut()
293         //   guaranteed to be part of the same allocated object.  in push()
510         // - `self.len() + other.len() <= self.capacity()` is guaranteed by the preceding `reserve`  in extend_from_slice()
531         // SAFETY: `self.as_mut_ptr` is guaranteed to be valid by the type invariant.  in drop()
585         // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len`  in deref()
597         // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len`  in deref_mut()
763             // SAFETY: `len` is guaranteed to be smaller than `self.layout.len()`.  in collect()
766             // SAFETY: `buf` points to the start of the backing buffer and `len` is guaranteed to be  in collect()
785         // - `ptr` is guaranteed to point to the start of the backing buffer.  in collect()
787         // - `alloc` is guaranteed to be unchanged since `into_iter` has been called on the original  in collect()
825         // SAFETY: `current` is guaranteed to point at a valid element within the buffer.  in next()
857         // SAFETY: `self.ptr` is guaranteed to be valid by the type invariant.  in drop()