Lines Matching full:thus

134     // SAFETY: Per [1], `MaybeUninit<T>` has the same layout as `T`, and thus
142     // SAFETY: `MaybeUninit` has no validity invariants. Thus, a valid
149         // layout as `T`. Thus, this cast preserves size.  in cast_into_inner()
158         // layout as `T`. Thus, this cast preserves size.  in cast_from_inner()
186     // SAFETY: Per [1], `ManuallyDrop<T>` has the same layout as `T`, and thus
202         // layout as `T`. Thus, this cast preserves size even if `T` is unsized.  in cast_into_inner()
212         // layout as `T`. Thus, this cast preserves size even if `T` is unsized.  in cast_from_inner()
232     // add or remove fields. Thus, we know that `Wrapping<T>` contains a `T` (as
234     // or post-padding. Thus, `Wrapping<T>` must have `UnsafeCell`s covering the
241     // SAFETY: Per [1], `Wrapping<T>` has the same layout as `T`, and thus has
266         // layout as `T`. Thus, this cast preserves size.  in cast_into_inner()
275         // layout as `T`. Thus, this cast preserves size.  in cast_from_inner()
297     // representation as `T`, and thus has the same alignment as `T`.
315         // representation as `T`. Thus, this cast preserves size.  in cast_into_inner()
325         // representation as `T`. Thus, this cast preserves size.  in cast_from_inner()
344     // `T`'s alignment. Thus, an aligned pointer to `Unalign<T>` is not
354         // the size as `T`. Thus, this cast preserves size.  in cast_into_inner()
363         // the size as `T`. Thus, this cast preserves size.  in cast_from_inner()
428         //   Thus, we can conclude that every byte of `$atomic` must be covered
431         // Thus, every byte of `$atomic` is covered by an `UnsafeCell`, and we
432         // set `type Inner = UnsafeCell<$native>`. Thus, `Self` and
459             // same size as `$native`. Thus, this cast preserves size.
468             // same size as `$native`. Thus, this cast preserves size.
809         // provenance, and thus Rust may have to assume that this may consume  in new_box()