From https://doc.rust-lang.org/nomicon/repr-rust.html:
A type's size must always be a multiple of its alignment. This ensures that an array of that type may always be indexed by offsetting by a multiple of its size.
1 Like