@WG-prioritization/alerts issue #82615 has been requested for prioritization.
P-medium or maybe
It's been around for a while, but it seems bad enough that I'm kind of leaning towards
I agree with P-high. Personally I want to fix this before merging https://github.com/rust-lang/rust/pull/80527.
fyi https://github.com/rust-lang/rust/pull/82620 fixes this