Matthias Krüger ceeaa8a852 Rollup merge of #120517 - Nadrieril:lower-never-as-wildcard, r=compiler-errors ... never patterns: It is correct to lower `!` to `_`. This is just a comment update but a non-trivial one: it is correct to lower `!` patterns as `_`. The reasoning is that `!` matches all the possible values of the type, since the type is empty. Moreover, we do want to warn that the `Err` is redundant in: ```rust match x { !, Err(!), } ``` which is consistent with `!` behaving like a wildcard. I did try to introduce `Constructor::Never` and it ended up needing to behave exactly like `Constructor::Wildcard`. r? ```@compiler-errors```		2024-02-03 22:25:15 +01:00
..
src	Rollup merge of #120517 - Nadrieril:lower-never-as-wildcard, r=compiler-errors	2024-02-03 22:25:15 +01:00
Cargo.toml	Stop using derivative in rustc_pattern_analysis	2024-01-27 14:21:01 +02:00
messages.ftl	Extract exhaustiveness into its own crate	2023-12-11 11:20:55 +01:00