Stream: t-compiler/wg-prioritization/alerts

Topic: I-prioritize #79048 Incorrect "unreachable pattern" warning…


triagebot (Nov 14 2020 at 16:49, on Zulip):

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

Procedure

Jonas Schievink (Nov 14 2020 at 16:50, on Zulip):

Soundness regression in exhaustiveness checking, P-critical

Léo Lanteri Thauvin (Nov 14 2020 at 16:56, on Zulip):

It's a nightly regression, would be great to bisect it

Léo Lanteri Thauvin (Nov 14 2020 at 16:56, on Zulip):

I'll ping the cleanup crew

Léo Lanteri Thauvin (Nov 14 2020 at 16:57, on Zulip):

Oh wait nightly just branched so this must have regressed very recently

Léo Lanteri Thauvin (Nov 14 2020 at 16:57, on Zulip):

We can probably just find it in the commit logs

Joshua Nelson (Nov 14 2020 at 17:14, on Zulip):

I think @Jonas Schievink was testing with the old version of beta, 1.48 https://github.com/rust-lang/rust/commit/f58ffc93815f76576eb56df4bdeec2fe8f12b766

Joshua Nelson (Nov 14 2020 at 17:14, on Zulip):

it regressed 21 days ago

Jonas Schievink (Nov 14 2020 at 17:15, on Zulip):

probably https://github.com/rust-lang/rust/pull/78072 then

Jonas Schievink (Nov 14 2020 at 17:15, on Zulip):

I was testing on the playground

Joshua Nelson (Nov 14 2020 at 17:16, on Zulip):

P-critical I think

Joshua Nelson (Nov 14 2020 at 17:16, on Zulip):

this is super easy to trigger and unsound

triagebot (Nov 14 2020 at 17:23, on Zulip):

Issue #79048's prioritization request has been removed.

Last update: Apr 10 2021 at 22:45UTC