Convert to inline diagnostics in rustc_mir_build#152126
Merged
rust-bors[bot] merged 1 commit intoFeb 7, 2026
Merged
The logs for this run have expired and are no longer available.
Loading
rustc_mir_build#152126