@WG-prioritization/alerts issue #79048 has been requested for prioritization.
Soundness regression in exhaustiveness checking,
It's a nightly regression, would be great to bisect it
I'll ping the cleanup crew
Oh wait nightly just branched so this must have regressed very recently
We can probably just find it in the commit logs
I think @Jonas Schievink was testing with the old version of beta, 1.48 https://github.com/rust-lang/rust/commit/f58ffc93815f76576eb56df4bdeec2fe8f12b766
it regressed 21 days ago
probably https://github.com/rust-lang/rust/pull/78072 then
I was testing on the playground
P-critical I think
this is super easy to trigger and unsound
Issue #79048's prioritization request has been removed.