diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-01-19 19:27:00 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-01-19 19:27:00 +0100 |
| commit | 2587100a9b13f88f6f0089cbfa1673bf169d269c (patch) | |
| tree | 80b7f9e5985f6d3c9e2497cac50a9aa09348eb4b /compiler/rustc_pattern_analysis/src/lints.rs | |
| parent | ae09415fa4e994992d95b702eb876910ded8f19b (diff) | |
| parent | d95644d3ae276ba787cdf9214a97f27b82c1348e (diff) | |
| download | rust-2587100a9b13f88f6f0089cbfa1673bf169d269c.tar.gz rust-2587100a9b13f88f6f0089cbfa1673bf169d269c.zip | |
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`
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/lints.rs')
| -rw-r--r-- | compiler/rustc_pattern_analysis/src/lints.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_pattern_analysis/src/lints.rs b/compiler/rustc_pattern_analysis/src/lints.rs index 4266e2a405e..d9dbd8250ef 100644 --- a/compiler/rustc_pattern_analysis/src/lints.rs +++ b/compiler/rustc_pattern_analysis/src/lints.rs @@ -56,7 +56,7 @@ impl<'p, 'tcx> PatternColumn<'p, 'tcx> { ) -> Result<SplitConstructorSet<'p, 'tcx>, ErrorGuaranteed> { let column_ctors = self.patterns.iter().map(|p| p.ctor()); let ctors_for_ty = &pcx.ctors_for_ty()?; - Ok(ctors_for_ty.split(pcx, column_ctors)) + Ok(ctors_for_ty.split(column_ctors)) } /// Does specialization: given a constructor, this takes the patterns from the column that match |