diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-03-13 20:01:57 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-13 20:01:57 +0100 |
| commit | 5c2aa6dc6f78ce8cd65dd526ed8a84d2be425c1e (patch) | |
| tree | 72f8f799f20c847a80cf005fe3fa191ed26abaf5 /compiler/rustc_pattern_analysis/src/rustc.rs | |
| parent | b3376bb92f32c82021e718f98239b3719acf6900 (diff) | |
| parent | c4236785c72fdf04176716393c910b1fb011d15f (diff) | |
| download | rust-5c2aa6dc6f78ce8cd65dd526ed8a84d2be425c1e.tar.gz rust-5c2aa6dc6f78ce8cd65dd526ed8a84d2be425c1e.zip | |
Rollup merge of #122437 - Nadrieril:no-after-max, r=compiler-errors
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.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/rustc.rs')
| -rw-r--r-- | compiler/rustc_pattern_analysis/src/rustc.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_pattern_analysis/src/rustc.rs b/compiler/rustc_pattern_analysis/src/rustc.rs index d00faadccb0..fd51fbedeef 100644 --- a/compiler/rustc_pattern_analysis/src/rustc.rs +++ b/compiler/rustc_pattern_analysis/src/rustc.rs @@ -706,7 +706,7 @@ impl<'p, 'tcx: 'p> RustcPatCtxt<'p, 'tcx> { None => PatRangeBoundary::PosInfinity, } } - JustAfterMax | PosInfinity => PatRangeBoundary::PosInfinity, + PosInfinity => PatRangeBoundary::PosInfinity, } } |