-
Notifications
You must be signed in to change notification settings - Fork 1.6k
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
New lint: option_needless_deref #7596
Conversation
r? @llogiq (rust-highfive has picked a reviewer for you, use r? to override) |
d835769
to
86e3aa0
Compare
☔ The latest upstream changes (presumably #7604) made this pull request unmergeable. Please resolve the merge conflicts. |
86e3aa0
to
38b8697
Compare
I think the lint name should include |
|
|
e1fdc67
to
4184cc3
Compare
I did some fix.
|
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I only have a small nit, otherwise this looks good.
Co-authored-by: llogiq <[email protected]>
Thank you! @bors r+ |
📌 Commit 37af742 has been approved by |
☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test |
changelog: [
option_needless_deref
]fix #7571