$ the-wire · showcase
Next-solver test migration continues across the compiler tree
By RepoJournal · Filed · About Rust · Composed from the cited sources · methodology
The day's work in rust-lang/rust is almost entirely about pinning down what the next trait solver does to existing diagnostics, while the crate index and stdarch tick along on automation.
even more `tests/crashes` migration for `-Znext-solver` rust-lang/rust
lcnr continues the tests/crashes migration for -Znext-solver, carrying over from the previous batch. Two entries, the issues behind rust-lang/rust#126680 and rust-lang/rust#131886, are noted as still broken because of a known trait-system-refactor blocker rather than because the migration slipped.
revisions for TAIT in env bug rust-lang/rust
lcnr adds revisions for the TAIT-in-env bug, the test-side counterpart to the same next-solver push. Taking this together with the crashes migration, the theme is consistent: existing UI tests are being converted into revision-pinned expectations before solver behavior is allowed to shift underneath them.
abby DSL: implement ambiguity rust-lang/rust
khyperia implements ambiguity in the abby DSL and has requested review from BoxyUwU. It is the only non-test-migration compiler change on the board today, aimed at the tooling used to describe trait-system behavior.
Rollup of 16 pull requests rust-lang/rust
A rollup of 16 pull requests lands, including the removal of the NonOwner variant from AstOwner, an IBM f128 type, a rustc-perf submodule update, and a GVN fix that now includes the offset in the alignment check when creating ConstValue::Indirect. The GVN change is the one most likely to alter generated code rather than just internals.
Rustc pull update rust-lang/stdarch
Routine mechanical work filled out the rest of the day: the crates.io index picked up index updates for the inillucent, inillucent-cli, inillucent-migrate, inillucent-driver-capi, and inillucent-remote crates, and stdarch merged its latest rustc pull. TWiR 673 has a draft open and TWiR 672 got its CFT, FCP, MCP, and RFC sections refreshed.