Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #75883 cannot relate region: LUB(ReErased, ReEā€¦


triagebot (Aug 24 2020 at 17:06, on Zulip):

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

Procedure

Santiago Pastorino (Aug 26 2020 at 18:59, on Zulip):

this seems P-medium to me

LeSeulArtichaut (Aug 26 2020 at 19:33, on Zulip):

Agree for P-medium

triagebot (Aug 26 2020 at 19:34, on Zulip):

Issue #75883's prioritization request has been removed.

Last update: Apr 15 2021 at 01:15UTC