chore(empty_drop): rename to empty_drops

[ada4a]

Lint names should be in plural

changelog: [empty_drop]: rename to empty_drops

[rustbot]

r? @llogiq

rustbot has assigned @llogiq.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

[github-actions]

Lintcheck changes for 7b9751c

Lint	Added	Removed	Changed
clippy::empty_drop	0	7	0
clippy::empty_drops	7	0	0

This comment will be updated if you push new changes

[samueltardieu]

Why not discuss this in Zulip and propose to rename all misnamed lints at once? Having some lints renamed and some others suffering from the same problem not renamed is confusing.

[ada4a]

I was thinking that it would be easier to review many smaller PRs than one big one, but yeah your proposal does sound better. Though if we do go with one big PR, I'd really hope that that it would then get merged ASAP, since keeping it up-to-date with master would be a nightmare..

I'll open a thread on Zulip then (though not right away, a bit busy rn)

[llogiq]

If the discussion is favorable, you may as well extend this PR.

@rustbot author

[rustbot]

Reminder, once the PR becomes ready for a review, use @rustbot ready.