diff options
Diffstat (limited to 'crates/ra_hir_ty/src/infer')
-rw-r--r-- | crates/ra_hir_ty/src/infer/pat.rs | 6 | ||||
-rw-r--r-- | crates/ra_hir_ty/src/infer/path.rs | 12 |
2 files changed, 15 insertions, 3 deletions
diff --git a/crates/ra_hir_ty/src/infer/pat.rs b/crates/ra_hir_ty/src/infer/pat.rs index 86acd27f8..69bbb4307 100644 --- a/crates/ra_hir_ty/src/infer/pat.rs +++ b/crates/ra_hir_ty/src/infer/pat.rs | |||
@@ -21,9 +21,13 @@ impl<'a> InferenceContext<'a> { | |||
21 | subpats: &[PatId], | 21 | subpats: &[PatId], |
22 | expected: &Ty, | 22 | expected: &Ty, |
23 | default_bm: BindingMode, | 23 | default_bm: BindingMode, |
24 | id: PatId, | ||
24 | ) -> Ty { | 25 | ) -> Ty { |
25 | let (ty, def) = self.resolve_variant(path); | 26 | let (ty, def) = self.resolve_variant(path); |
26 | let var_data = def.map(|it| variant_data(self.db.upcast(), it)); | 27 | let var_data = def.map(|it| variant_data(self.db.upcast(), it)); |
28 | if let Some(variant) = def { | ||
29 | self.write_variant_resolution(id.into(), variant); | ||
30 | } | ||
27 | self.unify(&ty, expected); | 31 | self.unify(&ty, expected); |
28 | 32 | ||
29 | let substs = ty.substs().unwrap_or_else(Substs::empty); | 33 | let substs = ty.substs().unwrap_or_else(Substs::empty); |
@@ -152,7 +156,7 @@ impl<'a> InferenceContext<'a> { | |||
152 | Ty::apply_one(TypeCtor::Ref(*mutability), subty) | 156 | Ty::apply_one(TypeCtor::Ref(*mutability), subty) |
153 | } | 157 | } |
154 | Pat::TupleStruct { path: p, args: subpats } => { | 158 | Pat::TupleStruct { path: p, args: subpats } => { |
155 | self.infer_tuple_struct_pat(p.as_ref(), subpats, expected, default_bm) | 159 | self.infer_tuple_struct_pat(p.as_ref(), subpats, expected, default_bm, pat) |
156 | } | 160 | } |
157 | Pat::Record { path: p, args: fields } => { | 161 | Pat::Record { path: p, args: fields } => { |
158 | self.infer_record_pat(p.as_ref(), fields, expected, default_bm, pat) | 162 | self.infer_record_pat(p.as_ref(), fields, expected, default_bm, pat) |
diff --git a/crates/ra_hir_ty/src/infer/path.rs b/crates/ra_hir_ty/src/infer/path.rs index 318652c61..2b6bc0f79 100644 --- a/crates/ra_hir_ty/src/infer/path.rs +++ b/crates/ra_hir_ty/src/infer/path.rs | |||
@@ -67,8 +67,16 @@ impl<'a> InferenceContext<'a> { | |||
67 | ValueNs::FunctionId(it) => it.into(), | 67 | ValueNs::FunctionId(it) => it.into(), |
68 | ValueNs::ConstId(it) => it.into(), | 68 | ValueNs::ConstId(it) => it.into(), |
69 | ValueNs::StaticId(it) => it.into(), | 69 | ValueNs::StaticId(it) => it.into(), |
70 | ValueNs::StructId(it) => it.into(), | 70 | ValueNs::StructId(it) => { |
71 | ValueNs::EnumVariantId(it) => it.into(), | 71 | self.write_variant_resolution(id, it.into()); |
72 | |||
73 | it.into() | ||
74 | } | ||
75 | ValueNs::EnumVariantId(it) => { | ||
76 | self.write_variant_resolution(id, it.into()); | ||
77 | |||
78 | it.into() | ||
79 | } | ||
72 | }; | 80 | }; |
73 | 81 | ||
74 | let ty = self.db.value_ty(typable); | 82 | let ty = self.db.value_ty(typable); |