Skip to content

Move attribute lints to rustc_lint#149662

Merged
bors merged 1 commit intorust-lang:mainfrom
JonathanBrouwer:lint-rework
Dec 6, 2025
Merged

Move attribute lints to `rustc_lint`#149662
bors merged 1 commit intorust-lang:mainfrom
JonathanBrouwer:lint-rework

Commits

Commits on Dec 5, 2025