@WG-prioritization/alerts issue #77062 has been requested for prioritization.
I think P-medium on this one. Seems like it’s something that’s been around for a long time and doesn’t cause any soundness issues or effect large crates.
Issue #77062's prioritization request has been removed.
Is the example provided an edge case or there could other implications having more context? Also, the linked pull request is going to fix this behaviour?
Nope, the linked pr just mentioned it as a limitation bug