Use lint via `lint_defs` instead of `lints`#110396

Merged

bors merged 1 commit intorust-lang:masterfrom

Noratrieb:speedy-bootstrap

Apr 16, 2023

Commits on Apr 16, 2023

Use lints via `lint_defs` instead of `lints`
Noratrieb
committed