Rename opt_span_diag_lint into opt_span_lint and remove emit_diag_lint#153820
Merged
rust-bors[bot] merged 2 commits intorust-lang:mainfrom Mar 13, 2026
Merged
Rename opt_span_diag_lint into opt_span_lint and remove emit_diag_lint#153820rust-bors[bot] merged 2 commits intorust-lang:mainfrom
opt_span_diag_lint into opt_span_lint and remove emit_diag_lint#153820rust-bors[bot] merged 2 commits intorust-lang:mainfrom
