@WG-prioritization/alerts issue #81138 has been requested for prioritization.
This is easy to trigger albeit in a way that is unlikely for users to actually run into it. Soundness issues feel critical though.
afaict we need
RangeBounds with internal state which seems really unlikely to happen by accident
P-high seems good to me
Issue #81138's prioritization request has been removed.