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
PATH_BUF_PUSH_OVERWRITE lint is problematic #4012
Comments
Agreed. If I'd move this to nursery |
kraai
added a commit
to kraai/rust-clippy
that referenced
this issue
Apr 21, 2019
kraai
added a commit
to kraai/rust-clippy
that referenced
this issue
Apr 21, 2019
kraai
added a commit
to kraai/rust-clippy
that referenced
this issue
Apr 21, 2019
kraai
added a commit
to kraai/rust-clippy
that referenced
this issue
Apr 21, 2019
kraai
added a commit
to kraai/rust-clippy
that referenced
this issue
Apr 21, 2019
bors
added a commit
that referenced
this issue
Apr 21, 2019
…r=matthiaskrgr Move path_buf_push_overwrite to nursery See #4012. changelog: move `path_buf_push_overwrite` to the nursery
The lint was moved to nursery. |
ghost
closed this as completed
Jun 30, 2019
This issue was closed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The
correctness
group is for: "code that is just outright wrong or very very useless, causes hard errors by default". Pushing with overwrite is part of the API and it's useful on occasion. There is no way that you can say that all code that does it is "outright wrong".Another big problem with this lint suggestions isn't equivalent. If people blindly follow the suggestion they will actually introduce bugs into their code.
Here is my a counter example:
According to the lint, this code is "outright wrong" and should be replaced by:
The text was updated successfully, but these errors were encountered: