@WG-prioritization/alerts issue #77563 has been requested for prioritization.
This is an intended regression, I do not think we want to revert this so not sure if there is something for us to do here
I agree. Out of curiosity, does rustbot automatically tag all regressions?
yeah, regressions are automatically prioritized
requires-nightly regressions and soundness bugs, to be precise :)
So then the
I-prioritize label be removed, right?
Issue #77563's prioritization request has been removed.
Removed regression labels since this is an intended regression.