Lines Matching full:guaranteed

41         /// 1. If `ptr`'s referent is not zero sized, `A` is guaranteed to live
54         ///   `addresses`, the following are guaranteed:
61         ///   - It is guaranteed that, given `o = a - base` (i.e., the offset of
94         /// 1. If `ptr`'s referent is not zero sized, `A` is guaranteed to live
138         //    `&'a T`, is guaranteed to live for at least `'a`.  in from_ref()
164         //    `&'a mut T`, is guaranteed to live for at least `'a`.  in from_mut()
271         //    zero sized, then `A` is guaranteed to live for at least `'a`.  in with_meta()
290     /// Given `let (left, right) = ptr.split_at(l_len)`, it is guaranteed that
378         // 5. If `ptr`'s referent is not zero sized, then `A` is guaranteed to  in trailing_slice()
433         //    zero sized, then `A` is guaranteed to live for at least `'a`.  in slice_unchecked()
497             //    `elem` is guaranteed to live for at least `'a`, because `elem`  in iter()
533         //    `A` is guaranteed to live for at least `'a`, because it is derived  in as_slice()
624         //    allocation which is guaranteed to live for at least `'a`, and thus  in try_cast_into()