Lines Matching defs:l_len

286     ///  - `l_len.get() <= self.meta()`.
290     /// Given `let (left, right) = ptr.split_at(l_len)`, it is guaranteed that
300         l_len: crate::util::MetadataOf<T>,
305         let l_len = l_len.get();
307         // SAFETY: The caller promises that `l_len.get() <= self.meta()`.
308         // Trivially, `0 <= l_len`.
309         let left = unsafe { self.with_meta(l_len) };
312         // SAFETY: The caller promises that `l_len <= self.meta() = slf.meta()`.
314         let right = unsafe { right.slice_unchecked(l_len..self.meta().get()) };
317         // `right` are non-overlapping. Proof: `left` has `l_len` trailing
318         // elements, and `right` starts at element `l_len` of the original