Skip to content

Commit 44af5b4

Browse files
Update type-layout.md
1 parent 15be88e commit 44af5b4

File tree

1 file changed

+4
-5
lines changed

1 file changed

+4
-5
lines changed

src/type-layout.md

Lines changed: 4 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -58,11 +58,10 @@ aligned to 32 bits.
5858

5959
For every primitive numeric type (`u8`, `i8`, `u16`, `i16`, `u32`, `i32`, `u64`,
6060
`i64`, `u128`, `i128`, `usize`, `isize`, `f32`, and `f64`), `T`, the bit validity
61-
of `T` is equivalent to the bit validity of `[u8; size_of::<T>()]`. `u8` has 256
62-
valid representations (namely, every 8-bit sequence). An uninitialized byte is not
63-
a valid `u8`. A byte at any offset in a reference or pointer type may not be a
64-
valid `u8` (the semantics of transmuting a reference or pointer to a non-pointer
65-
type is currently undecided).
61+
of `T` is equivalent to the bit validity of `[u8; size_of::<T>()]`. An
62+
uninitialized byte is not a valid `u8`. A byte at any offset in a reference or
63+
pointer type may not be a valid `u8` (the semantics of transmuting a reference or
64+
pointer to a non-pointer type is currently undecided).
6665

6766
For `bool` and `char`, every byte is
6867
guaranteed to be initialized (in other words, for every such type, `T`,

0 commit comments

Comments
 (0)