Skip to content

Commit

Permalink
Update src/type-layout.md
Browse files Browse the repository at this point in the history
Co-authored-by: Ralf Jung <[email protected]>
  • Loading branch information
joshlf and RalfJung authored Aug 21, 2023
1 parent 2f82b7f commit 61c6349
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/type-layout.md
Original file line number Diff line number Diff line change
Expand Up @@ -64,9 +64,9 @@ a valid `u8`. A byte at any offset in a reference or pointer type may not be a
valid `u8` (the semantics of transmuting a reference or pointer to a non-pointer
type is currently undecided).

For the primitive numeric types and also for `bool` and `char`, every byte is
For `bool` and `char`, every byte is
guaranteed to be initialized (in other words, for every such type, `T`,
`transmute::<T, [u8; size_of::<T>()]>(...)` is always sound).
`transmute::<T, [u8; size_of::<T>()]>(...)` is always sound -- but the inverse is not).

## Pointers and References Layout

Expand Down

0 comments on commit 61c6349

Please sign in to comment.