diff options
| author | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2016-03-06 15:54:44 +0300 |
|---|---|---|
| committer | Vadim Petrochenkov <vadim.petrochenkov@gmail.com> | 2016-05-26 23:43:02 +0300 |
| commit | 0ca9bf394006fe635a4a76ca6fa78a70633666f0 (patch) | |
| tree | b38eec81ba9f7caffc7d23c11b5358b1c9ba5dd7 /src | |
| parent | 35ef09c38b3887a1880ad80874868afb41d28dd3 (diff) | |
| download | rust-0ca9bf394006fe635a4a76ca6fa78a70633666f0.tar.gz rust-0ca9bf394006fe635a4a76ca6fa78a70633666f0.zip | |
Fix overflow in type checking of tuple patterns
Diffstat (limited to 'src')
| -rw-r--r-- | src/librustc_typeck/check/_match.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_typeck/check/_match.rs b/src/librustc_typeck/check/_match.rs index 693703c7236..9030a6f222b 100644 --- a/src/librustc_typeck/check/_match.rs +++ b/src/librustc_typeck/check/_match.rs @@ -275,7 +275,7 @@ impl<'a, 'gcx, 'tcx> PatCtxt<'a, 'gcx, 'tcx> { let pat_ty = tcx.mk_tup(element_tys.clone()); self.write_ty(pat.id, pat_ty); self.demand_eqtype(pat.span, expected, pat_ty); - for (i, elem) in elements.iter().enumerate_and_adjust(expected_len, ddpos) { + for (i, elem) in elements.iter().enumerate_and_adjust(max_len, ddpos) { self.check_pat(elem, &element_tys[i]); } } |