Stream: t-compiler/wg-prioritization/alerts

Topic: #80682 slice::swap violates the aliasing rules


triagebot (Jan 05 2021 at 04:45, on Zulip):

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

Procedure

Yuki Okushi (Jan 05 2021 at 11:33, on Zulip):

seems oli found the possible fix

Yuki Okushi (Jan 05 2021 at 11:34, on Zulip):

it's an unsoundness on slice and looks like it can be triggered easily, P-high?

apiraino (Jan 05 2021 at 16:15, on Zulip):

do we also add a A-miri label for future reference? (Although oli has this already on radar)

triagebot (Jan 05 2021 at 16:16, on Zulip):

Issue #80682's prioritization request has been removed.

Last update: Apr 10 2021 at 21:30UTC