Stream: t-compiler/wg-prioritization/alerts

Topic: #80767 Borrow Checker Paniced Upon Gifted Code


triagebot (Jan 07 2021 at 05:35, on Zulip):

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

Procedure

triagebot (Jan 07 2021 at 05:35, on Zulip):

Issue #80767's prioritization request has been removed.

triagebot (Jan 07 2021 at 05:35, on Zulip):

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

Procedure

Stu (Jan 07 2021 at 06:33, on Zulip):

P-medium sounds fine to me

apiraino (Jan 07 2021 at 10:57, on Zulip):

the sample provided and the issue description are a bit ... unclear to me so I'll go and apply a P-medium

triagebot (Jan 07 2021 at 10:57, on Zulip):

Issue #80767's prioritization request has been removed.

Last update: Apr 10 2021 at 22:15UTC