bors 355efacf0d Auto merge of #128034 - Nadrieril:explain-unreachable, r=compiler-errors ... exhaustiveness: Explain why a given pattern is considered unreachable This PR tells the user why a given pattern is considered unreachable. I reused the intersection information we were already computing; even though it's incomplete I convinced myself that it is sufficient to always get a set of patterns that cover the unreachable one. I'm not a fan of the diagnostic messages I came up with, I'm open to suggestions. Fixes https://github.com/rust-lang/rust/issues/127870. This is also the other one of the two diagnostic improvements I wanted to do before https://github.com/rust-lang/rust/pull/122792. Note: the first commit is an unrelated drive-by tweak. r? `@compiler-errors`		2024-07-26 10:51:04 +00:00
..
src	Auto merge of #128034 - Nadrieril:explain-unreachable, r=compiler-errors	2024-07-26 10:51:04 +00:00
Cargo.toml	const_to_pat: cleanup leftovers from when we had to deal with non-structural constants	2024-07-18 11:58:16 +02:00
messages.ftl	Improve "covered_by_many" error	2024-07-24 08:46:52 +02:00