Lines Matching full:derived

259         //    zero sized, then `ptr` is derived from some valid Rust allocation,  in with_meta()
365         // 0. If `ptr`'s referent is not zero sized, then `ptr` is derived from  in trailing_slice()
366         //    some valid Rust allocation, `A`, because `ptr` is derived from  in trailing_slice()
369         //    provenance for `A` because `raw` is derived from the same  in trailing_slice()
379         //    live for at least `'a`, because `ptr` is derived from `self`.  in trailing_slice()
453             // >   derived from a pointer to some allocated object, and the  in iter()
491             //    provenance for its referent, because it derived from `self`  in iter()
518         // SAFETY: `slice` is not null, because it is derived from `start`  in as_slice()
522         // is derived from `self` in two steps: first, by casting `self: [T; N]`  in as_slice()
533         //    `A` is guaranteed to live for at least `'a`, because it is derived  in as_slice()
617         //    Because `ptr` is derived from `target` via provenance-preserving  in try_cast_into()