Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'crates/hir-ty/src/infer/expr.rs')
| -rw-r--r-- | crates/hir-ty/src/infer/expr.rs | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/crates/hir-ty/src/infer/expr.rs b/crates/hir-ty/src/infer/expr.rs index 08abf8a461..6dee0322a9 100644 --- a/crates/hir-ty/src/infer/expr.rs +++ b/crates/hir-ty/src/infer/expr.rs @@ -911,7 +911,15 @@ impl<'a> InferenceContext<'a> { let lhs_ty = self.insert_type_vars_shallow(lhs_ty); let ty = match self.coerce(None, &rhs_ty, &lhs_ty) { Ok(ty) => ty, - Err(_) => self.err_ty(), + Err(_) => { + self.result.type_mismatches.insert( + lhs.into(), + TypeMismatch { expected: rhs_ty.clone(), actual: lhs_ty.clone() }, + ); + // `rhs_ty` is returned so no further type mismatches are + // reported because of this mismatch. + rhs_ty + } }; self.write_expr_ty(lhs, ty.clone()); return ty; |