39         ///    provenance for its referent, which is entirely contained in some
92         ///    provenance for its referent, which is entirely contained in some
136         //    entirely contained in some Rust allocation, `A`.  in from_ref()
150         //   means that the memory range `[a, a + N)` is all contained within a  in from_ref()
162         //    entirely contained in some Rust allocation, `A`.  in from_mut()
176         //   means that the memory range `[a, a + N)` is all contained within a  in from_mut()
193         // contained in it or one-past-the-end of it are null.  in project()
265         //    contained in `A`.  in with_meta()
352         //   `bytes`) points to a byte range entirely contained within the same  in trailing_slice()
372         //    range which is entirely contained in `A`, by previous safety proof  in trailing_slice()
398         // to a byte range which is contained within a single allocation, which  in slice_unchecked()
431         //    which is entirely contained in some Rust allocation, `A`.  in slice_unchecked()
462             //   length fits in an `isize`. Since `elem` is contained in `self`,  in iter()
473             //     contained in `self`, the computed offset of `elem` must wrap  in iter()
494             //    same argument, `elem`'s referent is entirely contained within  in iter()
498             //    is entirely contained in `self`, which lives for at least `'a`  in iter()
529         //    this referent is entirely contained within some allocation, `A`.  in as_slice()