Skip to content

Remove EarlyDiagCtxt::early_{note,help} - #162671

Merged
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
nnethercote:rm-EarlyDiagCtxt-note-help
Sep 13, 2026
Merged

Remove EarlyDiagCtxt::early_{note,help}#162671
rust-bors[bot] merged 3 commits into
rust-lang:mainfrom
nnethercote:rm-EarlyDiagCtxt-note-help

Remove `EarlyDiagCtxt::early_{note,help}`

396d603
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Calculate job matrix
succeeded Sep 12, 2026 in 48s