Skip to content

Merge rustc_lint/lints.rs into diagnostics.rs - #160755

Merged
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
JonathanBrouwer:rustc_lint_diags
Aug 9, 2026
Merged

Merge rustc_lint/lints.rs into diagnostics.rs#160755
rust-bors[bot] merged 1 commit into
rust-lang:mainfrom
JonathanBrouwer:rustc_lint_diags

Commits

Commits on Aug 8, 2026