Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #77440 rustc OOM due to syntax error


triagebot (Oct 02 2020 at 13:56, on Zulip):

@WG-prioritization/alerts issue #77440 has been requested for prioritization.

Procedure

lzutao (Oct 02 2020 at 14:09, on Zulip):

a duplicate issue fixed on nightly.
But the problem still exists on beta,
should we beta-nominated the PR that fixed it ?

Camelid (Oct 02 2020 at 17:09, on Zulip):

Nominated the PR

Camelid (Oct 02 2020 at 17:10, on Zulip):

How about P-high so this isn't lost?

LeSeulArtichaut (Oct 02 2020 at 17:31, on Zulip):

Not sure that needed

LeSeulArtichaut (Oct 02 2020 at 17:32, on Zulip):

I think we could actually close the issue right away

Yuki Okushi (Oct 02 2020 at 17:34, on Zulip):

yeah, that PR is already beta-accepted and we could close this issue without prioritizing

triagebot (Oct 02 2020 at 17:35, on Zulip):

Issue #77440's prioritization request has been removed.

LeSeulArtichaut (Oct 02 2020 at 17:35, on Zulip):

Closed

Last update: Apr 10 2021 at 21:45UTC