diff options
Diffstat (limited to 'crates/hir_ty/src/infer/pat.rs')
-rw-r--r-- | crates/hir_ty/src/infer/pat.rs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crates/hir_ty/src/infer/pat.rs b/crates/hir_ty/src/infer/pat.rs index 469f37dd9..b74f1f4f8 100644 --- a/crates/hir_ty/src/infer/pat.rs +++ b/crates/hir_ty/src/infer/pat.rs | |||
@@ -49,7 +49,7 @@ impl<'a> InferenceContext<'a> { | |||
49 | let expected_ty = var_data | 49 | let expected_ty = var_data |
50 | .as_ref() | 50 | .as_ref() |
51 | .and_then(|d| d.field(&Name::new_tuple_field(i))) | 51 | .and_then(|d| d.field(&Name::new_tuple_field(i))) |
52 | .map_or(self.err_ty(), |field| field_tys[field].clone().subst(&substs)); | 52 | .map_or(self.err_ty(), |field| field_tys[field].clone().substitute(&substs)); |
53 | let expected_ty = self.normalize_associated_types_in(expected_ty); | 53 | let expected_ty = self.normalize_associated_types_in(expected_ty); |
54 | self.infer_pat(subpat, &expected_ty, default_bm); | 54 | self.infer_pat(subpat, &expected_ty, default_bm); |
55 | } | 55 | } |
@@ -84,7 +84,7 @@ impl<'a> InferenceContext<'a> { | |||
84 | } | 84 | } |
85 | 85 | ||
86 | let expected_ty = matching_field | 86 | let expected_ty = matching_field |
87 | .map_or(self.err_ty(), |field| field_tys[field].clone().subst(&substs)); | 87 | .map_or(self.err_ty(), |field| field_tys[field].clone().substitute(&substs)); |
88 | let expected_ty = self.normalize_associated_types_in(expected_ty); | 88 | let expected_ty = self.normalize_associated_types_in(expected_ty); |
89 | self.infer_pat(subpat.pat, &expected_ty, default_bm); | 89 | self.infer_pat(subpat.pat, &expected_ty, default_bm); |
90 | } | 90 | } |