rust
/
reference
mirror of https://github.com/rust-lang/reference
1
0
Fork 0
Code Issues Releases Wiki Activity

Clarify what `T` refers to

This commit is contained in:
Joshua Liebow-Feeser 2023-08-14 12:57:52 -07:00 committed by GitHub
parent e2385f92ec
commit d1850ea36b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
src/type-layout.md
View File

@ -58,11 +58,11 @@ aligned to 32 bits.
For the primitive numeric types (`u8`, `i8`, `u16`, `i16`, `u32`, `i32`, `u64`,
`i64`, `u128`, `i128`, `usize`, `isize`, `f32`, and `f64`), every bit pattern
represents a valid instance of the type (in other words,
`transmute::<[u8; size_of::<T>()], T>(...)` is always sound). For the primitive
numeric types and also for `bool` and `char`, every byte is guaranteed to be
initialized (in other words, `transmute::<T, [u8; size_of::<T>()]>(...)` is always
sound).
represents a valid instance of the type (in other words, for every primitive numeric
type, `T`, `transmute::<[u8; size_of::<T>()], T>(...)` is always sound). For the
primitive numeric types and also 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).
## Pointers and References Layout