diff options
author | Pavan Kumar Sunkara <[email protected]> | 2020-09-05 02:06:05 +0100 |
---|---|---|
committer | Pavan Kumar Sunkara <[email protected]> | 2020-09-10 17:56:04 +0100 |
commit | 4d97f5f037c1b061215d4b0fb32d48a1b8be836f (patch) | |
tree | b0be5ddcce7c64a5aedc0661c208b7f0e611564e /crates/hir_ty/src/infer | |
parent | 5c336e266fe09ae9ae6e634513d441cbcde63696 (diff) |
Rename record_field_pat to record_pat_field
Diffstat (limited to 'crates/hir_ty/src/infer')
-rw-r--r-- | crates/hir_ty/src/infer/pat.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/hir_ty/src/infer/pat.rs b/crates/hir_ty/src/infer/pat.rs index 4dd4f9802..dde38bc39 100644 --- a/crates/hir_ty/src/infer/pat.rs +++ b/crates/hir_ty/src/infer/pat.rs | |||
@@ -70,7 +70,7 @@ impl<'a> InferenceContext<'a> { | |||
70 | let matching_field = var_data.as_ref().and_then(|it| it.field(&subpat.name)); | 70 | let matching_field = var_data.as_ref().and_then(|it| it.field(&subpat.name)); |
71 | if let Some(local_id) = matching_field { | 71 | if let Some(local_id) = matching_field { |
72 | let field_def = FieldId { parent: def.unwrap(), local_id }; | 72 | let field_def = FieldId { parent: def.unwrap(), local_id }; |
73 | self.result.record_field_pat_resolutions.insert(subpat.pat, field_def); | 73 | self.result.record_pat_field_resolutions.insert(subpat.pat, field_def); |
74 | } | 74 | } |
75 | 75 | ||
76 | let expected_ty = | 76 | let expected_ty = |