From 287e9a870c90650f2779c25de498602782a0f683 Mon Sep 17 00:00:00 2001 From: Florian Diebold Date: Mon, 15 Mar 2021 18:22:25 +0100 Subject: Fix unification logic --- crates/hir_ty/src/infer/unify.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'crates/hir_ty/src/infer') diff --git a/crates/hir_ty/src/infer/unify.rs b/crates/hir_ty/src/infer/unify.rs index 66f8fe8a3..7795f446f 100644 --- a/crates/hir_ty/src/infer/unify.rs +++ b/crates/hir_ty/src/infer/unify.rs @@ -300,7 +300,7 @@ impl InferenceTable { | (TyKind::Raw(_, ty1), TyKind::Raw(_, ty2)) | (TyKind::Array(ty1), TyKind::Array(ty2)) | (TyKind::Slice(ty1), TyKind::Slice(ty2)) => self.unify_inner(ty1, ty2, depth + 1), - _ => false, + _ => true, /* we checked equals_ctor already */ } } else { self.unify_inner_trivial(&ty1, &ty2, depth) -- cgit v1.2.3