Lines Matching full:guaranteed

99 /// `ALIGNED_64K_ALLOCATION` is guaranteed to point to the entirety of an
110     // - `ptr` is derived from a Rust reference, which is guaranteed to be
115     // - `ptr` is derived from a Rust reference, which is guaranteed to have
175         //   guaranteed to be no larger than this size, so this field projection
176         //   is guaranteed to remain in-bounds of its allocation.
180         //   allocation addressed by `ALIGNED_64K_ALLOCATION` is guaranteed to
181         //   be aligned to `_64K`, so `ptr` is guaranteed to satisfy `$ty`'s
204         // - The distance, in bytes, cannot overflow `isize`. This is guaranteed
208         //   address space. This is guaranteed because the same is guaranteed of
212         //     Once these are guaranteed in the Reference, cite it.
214         // Guaranteed not to be lossy: `field` comes after `ptr`, so the offset
215         // from `ptr` to `field` is guaranteed to be positive.
237         // guaranteed [1] to begin with the single-byte layout for `_byte`,
330 /// guaranteed across platforms or compilations.
383 /// guaranteed across platforms or compilations.
736         //   (`Dst`) because the caller has guaranteed that `Src: IntoBytes`,  in transmute_ref()
741         // - The caller has guaranteed that alignment is not increased.  in transmute_ref()