Provenance in Eight Bytes: How rustc Packs a Pointer's Identity
rustc packs pointer provenance into a NonZero u64 with two flag bits, and stores the provenance of an allocation as sorted whole-pointer relocations rather than per-byte metadata.
Const eval
The Init Mask Is a Single Boolean Until It Isn't: How rustc Tracks Uninitialised Memory
rustc’s init mask starts as a single boolean meaning fully-initialised or fully-uninitialised, materialises a bitmap only on partial writes, and de-materialises again when a full …
One Interpreter, Two Machines: How rustc's Const Eval Powers Miri Too
rustc’s const evaluator is a generic interpreter over a Machine trait; Miri instantiates it with provenance tracking and CTFE with a simpler one, and both get the same 8k lines of …