mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-04 18:40:57 +03:00
01085cb16a
This lint was renamed in 50da77521e.
While I'm here convert the list of separate lints into a proper list for
ease of use and clarify which lints are in clippy and which are in rustc.