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

Create lint groups #90

Open
BD103 opened this issue Sep 18, 2024 · 1 comment
Open

Create lint groups #90

BD103 opened this issue Sep 18, 2024 · 1 comment
Labels
A-Linter Related to the linter and custom lints C-Enhancement A general improvement C-Usability An improvement that makes the API more usable X-Blessed

Comments

@BD103
Copy link
Member

BD103 commented Sep 18, 2024

See the project board for a definitive list, along with what lints go in what categories. As of writing this, the categories are:

  • Correctness
  • Suspicious
  • Complexity
  • Performance
  • Style
  • Restriction
  • Nursery

(They're essentially the same as Clippy's lint groups!)

@BD103 BD103 added A-Linter Related to the linter and custom lints C-Enhancement A general improvement C-Usability An improvement that makes the API more usable X-Blessed labels Sep 18, 2024
@BD103
Copy link
Member Author

BD103 commented Sep 19, 2024

This can be done with LintStore::register_group(). This will probably require some additional metadata to live alongside Lint definitions, so we may need to define a custom declare_tool_lint! macro. See register_categories() for how Clippy does this.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-Linter Related to the linter and custom lints C-Enhancement A general improvement C-Usability An improvement that makes the API more usable X-Blessed
Projects
None yet
Development

No branches or pull requests

1 participant