Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Conversation

bradjc
Copy link
Contributor

@bradjc bradjc commented Aug 11, 2023

Pull Request Overview

This lists out which complexity and styles lints we currently need to allow. I grouped them based on lints that seem like reasonable issues we should fix, lints we may want to fix depending on the diff, and lints we most likely will not use.

Part of #3572.

This is potentially an important change because we are adding many clippy lints that we weren't previously.

Testing Strategy

travis

TODO or Help Wanted

n/a

Documentation Updated

  • Updated the relevant files in /docs, or no updates are required.

Formatting

  • Ran make prepush.

@bradjc bradjc changed the title tools: clippy: list all style lints tools: clippy: list all complexity and style lints Aug 11, 2023
brghena
brghena previously approved these changes Aug 11, 2023
hudson-ayers
hudson-ayers previously approved these changes Aug 11, 2023
Copy link
Contributor

@hudson-ayers hudson-ayers left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I don't have a ton of thoughts on this particular grouping, but this approach seems good to me. I assume we already pass a lot of these

@bradjc
Copy link
Contributor Author

bradjc commented Aug 11, 2023

I assume we already pass a lot of these

We pass none of these. That is how I found them.

@bradjc bradjc dismissed stale reviews from hudson-ayers and brghena via 58c029e August 11, 2023 16:02
@bradjc
Copy link
Contributor Author

bradjc commented Aug 17, 2023

Do we want to move forward with this? This is a step towards using clippy more generally. I have a few branches with fixes/changes to meet various clippy lints. Luckily clippy --fix is a thing.

@ppannuto ppannuto added the last-call Final review period for a pull request. label Aug 17, 2023
@lschuermann lschuermann added this pull request to the merge queue Aug 18, 2023
Merged via the queue into master with commit 026d0dd Aug 18, 2023
@lschuermann lschuermann deleted the clippy-D-style-allows branch August 18, 2023 15:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
last-call Final review period for a pull request.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants