What's the relationship between a lint group and merged linters? #2208
Unanswered
hippietrail
asked this question in
Q&A
Replies: 1 comment 1 reply
-
|
The To be more specific, the |
Beta Was this translation helpful? Give feedback.
1 reply
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
Uh oh!
There was an error while loading. Please reload this page.
-
I see there's no occurrence of the term "group" in merge_linters.rs
It seems they might not be related, which is maybe unintuitive. You'd expected that merging linters would create a lint group.
Maybe lint group means a very specific kind of group?
Either way it should be documented, at least in the comments of the two concepts in the source.
Ran into this while trying to add a pair of mutually-exclusive rules:
sneaked→snuckandsnuck→sneakedI filed a draft PR with the work in progress or anyone to look over: #2209
Beta Was this translation helpful? Give feedback.
All reactions