1 files changed, 4 insertions, 0 deletions

diff --git a/crates/hir_ty/src/infer.rs b/crates/hir_ty/src/infer.rs
index 603068ab5..f3cccca68 100644
--- a/crates/hir_ty/src/infer.rs
+++ b/crates/hir_ty/src/infer.rs
@@ -395,6 +395,10 @@ impl<'a> InferenceContext<'a> {
     }
 
     fn unify(&mut self, ty1: &Ty, ty2: &Ty) -> bool {
+        // TODO handle expectations properly
+        if ty2.is_unknown() {
+            return true;
+        }
         self.table.unify(ty1, ty2)
     }