Stream: t-compiler/wg-prioritization

Topic: I-prioritize #70942 [trait constants] thread 'rustc' panicke


triagebot (Apr 14 2020 at 15:12, on Zulip):

Issue #70942's prioritization request has been removed.

triagebot (Apr 14 2020 at 15:12, on Zulip):

@WG-prioritization issue #70942 has been requested for prioritization.

Santiago Pastorino (Apr 14 2020 at 15:13, on Zulip):

@centril added a priority and the tag here, I guess @centril wants us to confirm those priorities, right?

centril (Apr 14 2020 at 15:14, on Zulip):

Sure

Santiago Pastorino (Apr 14 2020 at 15:30, on Zulip):

this is our last with I-prioritize label

Yuki Okushi (Apr 14 2020 at 15:35, on Zulip):

this one already has a fix, though it's blocked now

Santiago Pastorino (Apr 14 2020 at 15:36, on Zulip):

yeah, there's a PR, let's leave P-medium then

triagebot (Apr 14 2020 at 15:36, on Zulip):

Issue #70942's prioritization request has been removed.

Last update: Jun 05 2020 at 23:00UTC