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.

Sign up for GitHub

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

Jump to bottom

Lint group for performance/ignoring style #2547

Closed
TheIronBorn opened this issue Mar 18, 2018 · 2 comments
Closed

Lint group for performance/ignoring style #2547

TheIronBorn opened this issue Mar 18, 2018 · 2 comments

Comments

@TheIronBorn
Copy link

Is there a lint group to only warn/deny lints which affect performance and ignore all others?
@TheIronBorn
Copy link
Author

A group for what look like mistakes might be useful as well. I suppose what I'm looking for is a way to ignore all lints which are merely format differences. Though how that's defined is a difficult question: 0b111_1111 != 0b0b1111_1111 is merely "a formatting difference" and yet might be a typo.

@TheIronBorn TheIronBorn changed the title Lint group for performance Lint group for performance/ignoring style Mar 18, 2018
@TheIronBorn
Copy link
Author

TheIronBorn commented Mar 18, 2018 •
edited
Loading

I just noticed #743 so I'll just toss a mention in here and close.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@TheIronBorn