-
Notifications
You must be signed in to change notification settings - Fork 1.6k
New issue
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # 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 <bogusandre@gmail.com>
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