Lines Matching full:thus

204         // and thus `projected_non_null`, addresses a subset of `self`'s  in project()
205         // referent. Thus, `projected_non_null` either:  in project()
348         //   (and thus `bytes`) points to a byte range of size `<= isize::MAX`,  in trailing_slice()
351         // - If `offset > 0`, then by invariant on `PtrInner`, `self` (and thus  in trailing_slice()
400         // around the address space. Thus, this pointer arithmetic remains  in slice_unchecked()
417         // the end of that referent. Thus, in either case, `ptr` is non-null.  in slice_unchecked()
424         //          that `start <= end <= self.meta()`. Thus, `base` is  in slice_unchecked()
466             //   allocated object (by invariant on `self`). Thus:  in iter()
575         // `validate_cast_and_convert_metadata`. Thus, this call to  in try_cast_into()
622         //    a subset of the input byte range. Thus, by invariant, if  in try_cast_into()
624         //    allocation which is guaranteed to live for at least `'a`, and thus  in try_cast_into()