Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #78239 MatchBranchSimplication (a disabled mir…


triagebot (Oct 22 2020 at 19:08, on Zulip):

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

Procedure

triagebot (Oct 22 2020 at 19:09, on Zulip):

Issue #78239's prioritization request has been removed.

Camelid (Oct 22 2020 at 19:09, on Zulip):

(Sorry for the ping; wanted to mark as unsound but rustbot auto-adds I-prioritize)

Last update: Apr 15 2021 at 02:00UTC