Matthias Krüger 2587100a9b Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errors ...

Exhaustiveness: simplify empty pattern logic

The logic that handles empty patterns had gotten quite convoluted. This PR simplifies it a lot. I tried to make the logic as easy as possible to follow; this only does logically equivalent changes.

The first commit is a drive-by comment clarification that was requested after another PR a while back.

r? `@compiler-errors`

2024-01-19 19:27:00 +01:00

..

src

Rollup merge of #119835 - Nadrieril:simplify-empty-logic, r=compiler-errors

2024-01-19 19:27:00 +01:00

Cargo.toml

Don't rely on contiguous VariantIds outside of rustc

2024-01-17 03:09:06 +01:00

messages.ftl

Extract exhaustiveness into its own crate

2023-12-11 11:20:55 +01:00