Stream: t-compiler/wg-prioritization/alerts

Topic: #81138 String::replace_range is unsound


triagebot (Jan 17 2021 at 22:04, on Zulip):

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

Procedure

rylev (Jan 18 2021 at 10:26, on Zulip):

This is easy to trigger albeit in a way that is unlikely for users to actually run into it. Soundness issues feel critical though. P-high? Or P-critical?

lcnr (Jan 18 2021 at 12:19, on Zulip):

afaict we need RangeBounds with internal state which seems really unlikely to happen by accident

lcnr (Jan 18 2021 at 12:19, on Zulip):

P-high imo

Léo Lanteri Thauvin (Jan 18 2021 at 12:54, on Zulip):

P-high seems good to me

triagebot (Jan 18 2021 at 12:58, on Zulip):

Issue #81138's prioritization request has been removed.

Last update: Apr 15 2021 at 01:15UTC