Stream: t-compiler/wg-prioritization/alerts

Topic: #81740 Soundness issue in `Zip::next()` specialization


triagebot (Feb 04 2021 at 11:13, on Zulip):

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

Procedure

Camelid (Feb 05 2021 at 00:27, on Zulip):

I don't have context on this one. Maybe P-high?

apiraino (Feb 05 2021 at 11:10, on Zulip):

hm me neither, seems an old issue undiscovered until recently. A patch is on its way, so I agree p-high is fine (more for tracking/history purposes rather than 'urgency')

triagebot (Feb 05 2021 at 11:11, on Zulip):

Issue #81740's prioritization request has been removed.

Camelid (Feb 05 2021 at 21:54, on Zulip):

For me it's more that it's an unsoundness issue, which is one of the worst kinds.

Last update: Apr 11 2021 at 18:15UTC