Skip to content

Rename errors.rs file to diagnostics.rs (5/N)#157700

Merged
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
GuillaumeGomez:rename-err-to-diag-2
Jun 11, 2026
Merged

Rename errors.rs file to diagnostics.rs (5/N)#157700
rust-bors[bot] merged 2 commits into
rust-lang:mainfrom
GuillaumeGomez:rename-err-to-diag-2