From bbc8063811d67a22fc625fe523299f3cb5de3043 Mon Sep 17 00:00:00 2001 From: Joshua Liebow-Feeser Date: Mon, 21 Aug 2023 13:57:34 -0700 Subject: [PATCH] Update type-layout.md --- src/type-layout.md | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) diff --git a/src/type-layout.md b/src/type-layout.md index 09be94bd4..ac4830fa9 100644 --- a/src/type-layout.md +++ b/src/type-layout.md @@ -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::()]`. `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::()]`. 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`,