Lines Matching full:guaranteed

263         //   guaranteed to be part of the same allocated object.  in spare_capacity_mut()
267         // SAFETY: The memory between `self.len` and `self.capacity` is guaranteed to be allocated  in spare_capacity_mut()
290         //   guaranteed to be part of the same allocated object.  in push()
507         // - `self.len() + other.len() <= self.capacity()` is guaranteed by the preceding `reserve`  in extend_from_slice()
528         // SAFETY: `self.as_mut_ptr` is guaranteed to be valid by the type invariant.  in drop()
582         // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len`  in deref()
594         // SAFETY: The memory behind `self.as_ptr()` is guaranteed to contain `self.len`  in deref_mut()
760             // SAFETY: `len` is guaranteed to be smaller than `self.layout.len()`.  in collect()
763             // SAFETY: `buf` points to the start of the backing buffer and `len` is guaranteed to be  in collect()
782         // - `ptr` is guaranteed to point to the start of the backing buffer.  in collect()
784         // - `alloc` is guaranteed to be unchanged since `into_iter` has been called on the original  in collect()
822         // SAFETY: `current` is guaranteed to point at a valid element within the buffer.  in next()
854         // SAFETY: `self.ptr` is guaranteed to be valid by the type invariant.  in drop()