Skip to content

Couple of minor cleanups to the diagnostic infrastructure - #136636

Merged
bors merged 3 commits into
rust-lang:masterfrom
bjorn3:error_cleanup
Feb 7, 2025
Merged

bors merged 3 commits into
rust-lang:masterfrom
bjorn3:error_cleanup

Commits

Commits on Feb 6, 2025