Don't consider predicates with HRTBs to be global during winnowing#95755
Don't consider predicates with HRTBs to be global during winnowing#95755compiler-errors wants to merge 1 commit intorust-lang:masterfrom
Conversation
|
r? @wesleywiser (rust-highfive has picked a reviewer for you, use r? to override) |
e5fa723 to
d3f9d71
Compare
|
i guess this could also use a crater run @bors try |
|
⌛ Trying commit d3f9d71 with merge 9b06ec641f3d05c126a54ceadba42a64366f72b4... |
|
☀️ Try build successful - checks-actions |
|
@craterbot check |
|
👌 Experiment ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more |
|
🚧 Experiment ℹ️ Crater is a tool to run experiments across parts of the Rust ecosystem. Learn more |
|
🎉 Experiment
|
|
I assume the action to unassign the reviewer is that this PR needs more work, so I'll update the labels accordingly. Please feel free to request a review when ready, thanks! @rustbot -S-waiting-on-review +S-waiting-on-author |
|
This is fixed by #96806 instead. |
Kinda along the same lines as #95611, predicates with
for<'a>in them shouldn't be treated specially, and are (or should be treated) as "global" as predicates without bound variables.Fixes #95640