mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-29 12:36:35 +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.