Various style improvements to rustc_lint::levels#122416
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 14, 2024
Merged
Various style improvements to `rustc_lint::levels`#122416bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
