Skip to content

Adjust dead code lint to account for fields that implement Drop, see … #29439

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

Closed
wants to merge 1 commit into from

Conversation

dagit
Copy link

@dagit dagit commented Oct 28, 2015

@rust-highfive
Copy link
Contributor

Thanks for the pull request, and welcome! The Rust team is excited to review your changes, and you should hear from @Manishearth (or someone else) soon.

If any changes to this PR are deemed necessary, please add them as extra commits. This ensures that the reviewer can see what has changed since they last reviewed the code. The way Github handles out-of-date commits, this should also make it reasonably obvious what issues have or haven't been addressed. Large or tricky changes may require several passes of review and changes.

Please see the contribution instructions for more information.

@Manishearth
Copy link
Member

@bors r+ rollup

Looks good to me, thanks for the PR!

@bors
Copy link
Collaborator

bors commented Oct 28, 2015

📌 Commit 75b6768 has been approved by Manishearth

@eefriedman
Copy link
Contributor

@Manishearth #21775 (comment) suggests something different from what this patch does...

@Manishearth
Copy link
Member

@bors r-

Oh, I forgot about that.

@Manishearth
Copy link
Member

@dagit in this case you should move the check to be a span_lint_note somewhere here.

@dagit
Copy link
Author

dagit commented Oct 28, 2015

Trying to make sure I understand correctly. So instead of removing the warning for Drop fields, you want the warning to suggest adding a _ prefix to the field name? And to only do this if the field implements Drop?

@Manishearth
Copy link
Member

Yes

@Manishearth
Copy link
Member

Updates?

@dagit
Copy link
Author

dagit commented Nov 3, 2015

@Manishearth Sorry, I haven't been able to work on it much since last week. Work is crunch time this week. I hope to have time after that.

Given that the correct way of doing this is unrelated to the way I did it previously, should I revert those changes and continue to use this PR or create a new one? It seems like the git history would be cleaner if I created a new one, but I know that in the typical case it's better to reuse the existing PR.

Thanks.

@Manishearth
Copy link
Member

No problem.

A new PR works too. It's possible to update this old PR by force pushing to the branch (so the git history stays clean), but not necessary

@steveklabnik
Copy link
Member

What's the status of this PR?

@dagit dagit closed this Jan 6, 2016
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.

6 participants