Rename rustc_middle::lint::diag_lint_level into lint_level#153787
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Mar 13, 2026
Merged
Rename rustc_middle::lint::diag_lint_level into lint_level#153787rust-bors[bot] merged 1 commit intorust-lang:mainfrom
rustc_middle::lint::diag_lint_level into lint_level#153787rust-bors[bot] merged 1 commit intorust-lang:mainfrom
