Target layouts
Pointer size and usize size are target inputs, never host Rust assumptions.
DByte 12.0 · Internals
Contract§
HIR contains no register or relocation concepts.
Mechanics§
TargetDataLayout carries pointer size/alignment and usize size/alignment. Aggregate fields, enum payloads, array stride, slice/StringView words and closure environments all derive from canonical TypeIds.
Validation and failure§
Host Rust usize is never a target input. Checked align-up, multiplication and range arithmetic reject overflow before allocation or emission.
Evidence and boundary§
Cross-target layout snapshots and native address calculations verify the HIR/backend seam uses the same values.