Skip to content

Commit

Permalink
Update type-layout.md
Browse files Browse the repository at this point in the history
  • Loading branch information
joshlf authored Aug 21, 2023
1 parent 61c6349 commit bbc8063
Showing 1 changed file with 4 additions and 5 deletions.
9 changes: 4 additions & 5 deletions src/type-layout.md
Original file line number Diff line number Diff line change
Expand Up @@ -58,11 +58,10 @@ aligned to 32 bits.

For every primitive numeric type (`u8`, `i8`, `u16`, `i16`, `u32`, `i32`, `u64`,
`i64`, `u128`, `i128`, `usize`, `isize`, `f32`, and `f64`), `T`, the bit validity
of `T` is equivalent to the bit validity of `[u8; size_of::<T>()]`. `u8` has 256
valid representations (namely, every 8-bit sequence). An uninitialized byte is not
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).
of `T` is equivalent to the bit validity of `[u8; size_of::<T>()]`. An
uninitialized byte is not 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 `bool` and `char`, every byte is
guaranteed to be initialized (in other words, for every such type, `T`,
Expand Down

0 comments on commit bbc8063

Please sign in to comment.