diff options
| author | Nadrieril <nadrieril+git@gmail.com> | 2024-01-03 01:25:32 +0100 |
|---|---|---|
| committer | Nadrieril <nadrieril+git@gmail.com> | 2024-01-07 19:20:19 +0100 |
| commit | 1a3edc169b849108a635724a30166786d43002c0 (patch) | |
| tree | 6c0ef3156d42a95d90037e01c0e0920923929993 /compiler/rustc_pattern_analysis/src/lints.rs | |
| parent | 4ae2840e84515edacee07ee7512ee50e51746c9d (diff) | |
| download | rust-1a3edc169b849108a635724a30166786d43002c0.tar.gz rust-1a3edc169b849108a635724a30166786d43002c0.zip | |
We only need the arity of the subtype list now
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/lints.rs')
| -rw-r--r-- | compiler/rustc_pattern_analysis/src/lints.rs | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/compiler/rustc_pattern_analysis/src/lints.rs b/compiler/rustc_pattern_analysis/src/lints.rs index 4fdbbfa8578..9b74c251d29 100644 --- a/compiler/rustc_pattern_analysis/src/lints.rs +++ b/compiler/rustc_pattern_analysis/src/lints.rs @@ -88,9 +88,8 @@ impl<'p, 'tcx> PatternColumn<'p, 'tcx> { (0..arity).map(|_| Self { patterns: Vec::new() }).collect(); let relevant_patterns = self.patterns.iter().filter(|pat| ctor.is_covered_by(pcx, pat.ctor())); - let ctor_sub_tys = pcx.ctor_sub_tys(ctor); for pat in relevant_patterns { - let specialized = pat.specialize(pcx, ctor, ctor_sub_tys); + let specialized = pat.specialize(ctor, arity); for (subpat, column) in specialized.into_iter().zip(&mut specialized_columns) { column.expand_and_push(subpat); } |