@WG-prioritization/alerts issue #77849 has been requested for prioritization.
I-nominated
?Issue #77849's prioritization request has been removed.
@WG-prioritization/alerts issue #77849 has been requested for prioritization.
I-nominated
?the reporter cannot reproduce the issue anymore: https://github.com/rust-lang/rust/issues/77849#issuecomment-707163141
right, why do we need to re-prioritize this?
This is a regression and there’s never been any discussion here
Though I have to admit I prioritized it because I thought rustbot somehow skipped it
(deleted)
I’m fine with leaving this unprioritized until we have more information though
makes sense. I'll probably leave a note to the reporter. not sure what we can do at this time. Still, it's linked to #77869 so something interesting might come out
lzutao said:
the reporter cannot reproduce the issue anymore: https://github.com/rust-lang/rust/issues/77849#issuecomment-707163141
given that this issue is related, or possiby a dupe of #77869, I wonder if #77869 is still possible to duplicate
I will remove the prioritize label favoring to follow the linked issue #77869
Issue #77849's prioritization request has been removed.