Skip to content
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

Tidy up some minor lints #50

Merged
merged 2 commits into from
Oct 25, 2023
Merged

Tidy up some minor lints #50

merged 2 commits into from
Oct 25, 2023

Conversation

WhyNotHugo
Copy link
Contributor

See individual commits for better descriptions.

@pr2502
Copy link
Owner

pr2502 commented Oct 25, 2023

Does clippy warn about the match? 😅

I prefer always matching on io::ErrorKind because it's somewhat likely we'll find out we want a special handling for some other kind. Could you drop the first commit please (or add an allow annotation to silence clippy).

@WhyNotHugo
Copy link
Contributor Author

Does clippy warn about the match? 😅

Only when configured to pedantic mode. So not really.

@pr2502
Copy link
Owner

pr2502 commented Oct 25, 2023

Ok, looks good then, thanks!

@pr2502 pr2502 merged commit 526d58a into pr2502:main Oct 25, 2023
1 check passed
@WhyNotHugo WhyNotHugo deleted the lints branch October 25, 2023 15:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants