The Wire · Showcase
MIRI REFACTORS GENMC API WHILE RUST CORE LANDS 28 ROLLUP MERGES OVERNIGHT
By RepoJournal · Filed · About Rust
Miri's GenMC integration got a major structural overhaul replacing bool status checks with per-operation enums, while the main Rust repo shipped back-to-back rollups that pulled in stdarch updates, rustdoc improvements, and a miri subtree bump.
The headline story is Miri's GenMC API refactor [1], which replaces boolean status returns with typed enums across CXX boundaries, renames factory namespaces from `*Ext` to `Make*`, and flattens the folder structure. This is a real cleanup that will make the interop layer less error-prone. That refactor immediately fed into the main Rust repo [2], which pulled in the miri subtree update to capture these changes. Meanwhile, Rust landed two massive rollups [3] [4] back-to-back, merging 28 PRs total including stdarch updates [8], supertrait shadowing fixes for type-level path resolution, rustdoc rendering improvements for impl Trait on foreign types, and a critical fix to OptionFlatten's iterator methods. On the testing side, Miri added native test coverage [6], fixed a TCP socket bug that was blocking Tokio [5], and tightened ZST reference handling to prevent unsafe deallocation [7]. Over in stdarch, SVE intrinsic test support landed [8], expanding automated test generation beyond the existing architectures.
Action items
- → Review miri subtree update in main Rust repo - GenMC API changes affect downstream interop rust-lang/rust [plan]
- → Test Tokio integration against latest Miri - TCP socket readiness fix [ref:9] resolves previous hangs rust-lang/miri [monitor]
- → Validate OptionFlatten iterator expansion - merged in rollup [ref:11], affects std iteration semantics rust-lang/rust [monitor]
References
- [1] Miri-GenMC API refactor ↗ rust-lang/miri
- [2] miri subtree update ↗ rust-lang/rust
- [3] Rollup of 15 pull requests ↗ rust-lang/rust
- [4] Auto merge of #158508 - jhpratt:rollup-FKOfwV9, r=jhpratt rust-lang/rust
- [5] Don't clear TCP socket readable readiness when read end is already closed ↗ rust-lang/miri
- [6] run some more tests natively ↗ rust-lang/miri
- [7] test that even ZST references prevent deallocation via child pointers ↗ rust-lang/miri
- [8] intrinsic-test: sve support ↗ rust-lang/stdarch
FAQ
- What changed in Rust on June 28, 2026?
- Miri's GenMC integration got a major structural overhaul replacing bool status checks with per-operation enums, while the main Rust repo shipped back-to-back rollups that pulled in stdarch updates, rustdoc improvements, and a miri subtree bump.
- What should Rust teams do about it?
- Review miri subtree update in main Rust repo - GenMC API changes affect downstream interop • Test Tokio integration against latest Miri - TCP socket readiness fix [ref:9] resolves previous hangs • Validate OptionFlatten iterator expansion - merged in rollup [ref:11], affects std iteration semantics
- Which Rust repositories shipped on June 28, 2026?
- rust-lang/miri, rust-lang/rust, rust-lang/stdarch