Skip to content

Couple of diagnostics improvements for EII#156923

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
bjorn3:eii_diagnostics
Jun 2, 2026
Merged

Couple of diagnostics improvements for EII#156923
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
bjorn3:eii_diagnostics

Commits

Commits on May 25, 2026