Stream: t-compiler/wg-prioritization/alerts

Topic: #82282 Side effect handling in specialized zip implementati…

triagebot (Feb 19 2021 at 11:02, on Zulip):

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

Procedure

Hameer Abbasi (Feb 19 2021 at 12:26, on Zulip):

There's a PR up for this already, but due to unsoundness I'd say P-critical or P-high.

Stu (Feb 19 2021 at 14:40, on Zulip):

<wrong topic>

Stu (Feb 19 2021 at 15:59, on Zulip):

Yea I agree with P-critical

triagebot (Feb 19 2021 at 16:00, on Zulip):

Issue #82282's prioritization request has been removed.

Last update: Apr 15 2021 at 01:30UTC