-
Notifications
You must be signed in to change notification settings - Fork 13k
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
Revert "Auto merge of #80357 - c410-f3r:new-hir-let, r=matthewjasper" #88401
Conversation
Some changes occurred in src/tools/rustfmt. Some changes occurred in src/tools/clippy. cc @rust-lang/clippy |
(rust-highfive has picked a reviewer for you, use r? to override) |
r? @tmandry |
The job Click to see the possible cause of the failure (guessed by this bot)
|
??? Isn't it possible to wait a few more days? The fix will be delivered as soon as possible |
Yes! It wasn't clear that you had time, but if you're working on a fix, that would be better than reverting. Thanks! |
Just a note, for the record, I think this revert is risky. Basic rustc tests passed locally. The clippy failure above is because I didn't notice clippy changed, and didn't try to compile or test it on the first pass. There were more merge conflicts in clippy. I did my best to resolve those (locally). One test is still failing for me, but I'm not going to continue working on this as long as @c410-f3r is working on the fix. The original changes were broad in scope, and there have been other changes on top of the original PR, some of which build on the new Even more concerning, it's not clear that the revert merges (git-automated and my manual conflict resolution) are going to result in the intended behavior. In some cases, large blocks were changed, and I tried to choose the better block to keep, and then fix compiler errors. Other than validating via tests (which isn't always definitive), I (or git) could have easily missed something subtle but important. |
☔ The latest upstream changes (presumably #88328) made this pull request unmergeable. Please resolve the merge conflicts. |
Yes. @camsteffen already worked on fixing the Clippy fallout in some PRs. So if we revert this, all those PRs would have to be reverted first. I really want to avoid this revert, if at all possible. |
Don't think we still need this...proper fix has been merged. |
This reverts commit 2a6fb9a, reversing
changes made to 2bd17c1.
Reverts: #80357
Fixes: #88307
From the PR author's initial comment, it sounds like they may not have time to fix this quickly. Since this is a high priority regression issue, I prepared this revert.