Lines Matching full:safe

45     /// Safe as long as `len` is less than `BIGINT_LIMBS`.
76     /// Safe if `self.len() < self.capacity()`.
80         // SAFETY: safe, capacity is less than the current size.  in push_unchecked()
91             // SAFETY: safe, capacity is less than the current size.  in try_push()
103     /// Safe if `self.len() > 0`.
107         // SAFETY: safe if `self.length > 0`.  in pop_unchecked()
108         // We have a trivial drop and copy, so this is safe.  in pop_unchecked()
119             // SAFETY: safe, since `self.len() > 0`.  in pop()
128     /// Safe if `self.len() + slc.len() <= self.capacity()`.
135         // SAFETY: safe if `self.len() + slc.len() <= self.capacity()`.  in extend_unchecked()
147             // SAFETY: safe, since `self.len() + slc.len() <= self.capacity()`.  in try_extend()
159     /// Safe as long as `len <= self.capacity()`.
169     /// Safe as long as `len <= self.capacity()`.
179             // SAFETY: safe if `len < self.capacity()`.  in resize_unchecked()
189             // SAFETY: safe since `len < self.len()`.  in resize_unchecked()
203             // SAFETY: safe, since `len <= self.capacity()`.  in try_resize()
282         // SAFETY: safe since `self.data[..self.len()]` must be initialized  in deref()
294         // SAFETY: safe since `self.data[..self.len()]` must be initialized  in deref_mut()