Stream: t-compiler/wg-prioritization

Topic: I-prioritize #72467 ICE in _match.rs:1184:21 when building "


triagebot (May 22 2020 at 15:52, on Zulip):

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

LeSeulArtichaut (May 23 2020 at 18:15, on Zulip):

Seems P-high to me

Santiago Pastorino (May 27 2020 at 13:44, on Zulip):

what others think about this issue?

Santiago Pastorino (May 27 2020 at 13:45, on Zulip):

I guess for now P-high sounds good

triagebot (May 27 2020 at 14:01, on Zulip):

Issue #72467's prioritization request has been removed.

Last update: Jun 05 2020 at 23:10UTC