@WG-prioritization/alerts issue #80682 has been requested for prioritization.
I-nominated
?seems oli found the possible fix
it's an unsoundness on slice and looks like it can be triggered easily, P-high
?
do we also add a A-miri
label for future reference? (Although oli has this already on radar)
Issue #80682's prioritization request has been removed.