diff options
Diffstat (limited to 'crates/ra_hir/src/ty.rs')
-rw-r--r-- | crates/ra_hir/src/ty.rs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/crates/ra_hir/src/ty.rs b/crates/ra_hir/src/ty.rs index c7c063601..854d3e3d9 100644 --- a/crates/ra_hir/src/ty.rs +++ b/crates/ra_hir/src/ty.rs | |||
@@ -1168,6 +1168,8 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
1168 | decl_ty | 1168 | decl_ty |
1169 | }; | 1169 | }; |
1170 | 1170 | ||
1171 | // TODO: walk the pattern here? | ||
1172 | |||
1171 | self.write_pat_ty(*pat, ty); | 1173 | self.write_pat_ty(*pat, ty); |
1172 | } | 1174 | } |
1173 | Statement::Expr(expr) => { | 1175 | Statement::Expr(expr) => { |
@@ -1188,6 +1190,9 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
1188 | for (type_ref, pat) in signature.params().iter().zip(body.params()) { | 1190 | for (type_ref, pat) in signature.params().iter().zip(body.params()) { |
1189 | let ty = self.make_ty(type_ref); | 1191 | let ty = self.make_ty(type_ref); |
1190 | let ty = self.insert_type_vars(ty); | 1192 | let ty = self.insert_type_vars(ty); |
1193 | |||
1194 | // TODO: walk pattern? | ||
1195 | |||
1191 | self.write_pat_ty(*pat, ty); | 1196 | self.write_pat_ty(*pat, ty); |
1192 | } | 1197 | } |
1193 | self.return_ty = { | 1198 | self.return_ty = { |