mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-01 07:13:24 +03:00
5114050839
Our lint deprecation previously didn't work for tool lints, because `register_removed` was registering lints to be removed _without_ the `clippy` prefix.