diff options
Diffstat (limited to 'crates/ra_hir_ty/src/infer/pat.rs')
| -rw-r--r-- | crates/ra_hir_ty/src/infer/pat.rs | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/crates/ra_hir_ty/src/infer/pat.rs b/crates/ra_hir_ty/src/infer/pat.rs index a495ecbfe..bf8ea192b 100644 --- a/crates/ra_hir_ty/src/infer/pat.rs +++ b/crates/ra_hir_ty/src/infer/pat.rs | |||
| @@ -189,7 +189,9 @@ impl<'a, D: HirDatabase> InferenceContext<'a, D> { | |||
| 189 | }; | 189 | }; |
| 190 | // use a new type variable if we got Ty::Unknown here | 190 | // use a new type variable if we got Ty::Unknown here |
| 191 | let ty = self.insert_type_vars_shallow(ty); | 191 | let ty = self.insert_type_vars_shallow(ty); |
| 192 | self.unify(&ty, expected); | 192 | if !self.unify(&ty, expected) { |
| 193 | // FIXME record mismatch, we need to change the type of self.type_mismatches for that | ||
| 194 | } | ||
| 193 | let ty = self.resolve_ty_as_possible(ty); | 195 | let ty = self.resolve_ty_as_possible(ty); |
| 194 | self.write_pat_ty(pat, ty.clone()); | 196 | self.write_pat_ty(pat, ty.clone()); |
| 195 | ty | 197 | ty |