Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

unify some line names #5052

Closed
matthiaskrgr opened this issue Jan 16, 2020 · 2 comments
Closed

unify some line names #5052

matthiaskrgr opened this issue Jan 16, 2020 · 2 comments

Comments

@matthiaskrgr
Copy link
Member

Right now we have lints that start with unneeded_, needless_, unused_ and redundant_

I feel like most of these prefixes are trying to express the same so perhaps we could make this more consistent somehow?

@flip1995
Copy link
Member

cc #2845 This was already mentioned there. When we do this, we should address most of what is raised in that issue, so we don't have multiple mass rename waves, raising clippy::unknown_clippy_lints warnings. (is this lint auto applicable? 🤔 )

@phansch
Copy link
Member

phansch commented Apr 26, 2020

Going to close this in favor of #2845

@phansch phansch closed this as completed Apr 26, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants