Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #78234 unreachable pattern not warned when use…

triagebot (Oct 22 2020 at 14:46, on Zulip):

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

Procedure

Hameer Abbasi (Oct 22 2020 at 14:49, on Zulip):

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.

Joshua Nelson (Oct 22 2020 at 14:53, on Zulip):

it guarentees the first matching arm will be hit

Joshua Nelson (Oct 22 2020 at 14:53, on Zulip):

this is just a lint

Hameer Abbasi (Oct 22 2020 at 15:33, on Zulip):

Ah, I read the panic too quickly and thought it was for the unreachable! arm rather than the assert!.

Camelid (Oct 22 2020 at 17:05, on Zulip):

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 :)

apiraino (Oct 28 2020 at 10:38, on Zulip):

I'll set 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.

triagebot (Oct 28 2020 at 10:39, on Zulip):

Issue #78234's prioritization request has been removed.

Last update: Apr 10 2021 at 22:15UTC