rust/compiler/rustc_pattern_analysis/src/constructor.rs, branch 1.79.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.79.0 2024-03-31T22:01:46+00:00 Fix union handling in exhaustiveness 2024-03-31T22:01:46+00:00 Nadrieril nadrieril+git@gmail.com 2024-03-31T21:57:53+00:00 urn:sha1:27704c7f9eea6e8ffaedac04ae1c932da7422fb7 Improve debugging experience 2024-03-31T21:12:20+00:00 Nadrieril nadrieril+git@gmail.com 2024-03-29T18:40:54+00:00 urn:sha1:8cf2c0dc67d880e54be03ebb08f7f960c21bb794 Require enum indices to be contiguous 2024-03-30T15:22:43+00:00 Nadrieril nadrieril+git@gmail.com 2024-03-30T15:18:18+00:00 urn:sha1:e1b8441899b87e52d0b368f55fc921ec668cde1f Improve the `WitnessPat: Debug` impl 2024-03-19T01:22:43+00:00 Nadrieril nadrieril+git@gmail.com 2024-03-04T23:16:11+00:00 urn:sha1:e4487ad391503fa109506c40aeba377fda0d97dd Rollup merge of #121823 - Nadrieril:never-witnesses, r=compiler-errors 2024-03-18T21:24:36+00:00 Matthias Krüger matthias.krueger@famsik.de 2024-03-18T21:24:36+00:00 urn:sha1:2d3dcfaadea54c1a606787f3179b378af1ad0b0c never patterns: suggest `!` patterns on non-exhaustive matches When a match is non-exhaustive we now suggest never patterns whenever it makes sense. r? ``@compiler-errors`` Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errors 2024-03-13T19:01:57+00:00 Matthias Krüger matthias.krueger@famsik.de 2024-03-13T19:01:57+00:00 urn:sha1:5c2aa6dc6f78ce8cd65dd526ed8a84d2be425c1e pattern analysis: remove `MaybeInfiniteInt::JustAfterMax` It was inherited from before half-open ranges, but it doesn't pull its weight anymore. We lose a tiny bit of diagnostic precision as can be seen in the test. I'm generally in favor of half-open ranges over explicit `x..=MAX` ranges anyway. Remove `MaybeInfiniteInt::JustAfterMax` 2024-03-13T13:17:11+00:00 Nadrieril nadrieril+git@gmail.com 2024-03-13T13:17:11+00:00 urn:sha1:c4236785c72fdf04176716393c910b1fb011d15f It was inherited from before half-open ranges, but it doesn't pull its weight anymore. We lose a tiny bit of diagnostic precision. Rename `TypeCx` -> `PatCx` 2024-03-13T12:56:38+00:00 Nadrieril nadrieril+git@gmail.com 2024-03-13T12:56:06+00:00 urn:sha1:4fc35c46ff70821a37fec5f7a4c36087704d9f23 Suggest never pattern instead of `_` for empty types 2024-03-12T20:38:30+00:00 Nadrieril nadrieril+git@gmail.com 2024-02-28T21:37:11+00:00 urn:sha1:9f2aa5b85a2584568f1ad34f23d029eeafb20d4b Add `Constructor::Never` 2024-03-12T20:38:30+00:00 Nadrieril nadrieril+git@gmail.com 2024-01-30T23:57:56+00:00 urn:sha1:1ec73d70fac58055eb1a2249279fad81b986edc2