@WG-prioritization/alerts issue #78234 has been requested for prioritization.
Does Rust have a guarantee that the first matching arm will be hit, and not any other? Or could any of the matching arms be hit?
If it does have this guarantee, this is pretty bad, possibly unsound.
it guarentees the first matching arm will be hit
this is just a lint
Ah, I read the panic too quickly and thought it was for the
unreachable! arm rather than the
Seems like P-medium or even P-low to me - probably something hard to fix and not a huge deal since it's just a warn-by-default lint. But of course would be good to fix :)
P-low after Aaron Hill comment, there is a patch coming up for procedural macros. But ok to tick that as P-medium if it suits better.
Issue #78234's prioritization request has been removed.