diff options
| author | Florian Diebold <[email protected]> | 2021-04-05 17:39:53 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-04-05 18:20:28 +0100 |
| commit | 05eba0db3dd76f016aabdd49af6211e70a1812ed (patch) | |
| tree | 4e4cdc0d7acddd8feb04c064360e0a8e889e4957 /crates/hir_ty/src/infer/pat.rs | |
| parent | ad20f00844cec9c794e34869be163673ebbed182 (diff) | |
Binders::subst -> substitute
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 | } |