diff options
| author | Florian Diebold <[email protected]> | 2021-03-15 17:22:25 +0000 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2021-03-15 18:14:10 +0000 |
| commit | 287e9a870c90650f2779c25de498602782a0f683 (patch) | |
| tree | 430c99d6ad936c36036ab69f6d144082d9b6fbbd /crates/hir_ty/src/infer/unify.rs | |
| parent | 1f28345b37130659438a8d2427f8879a19a14ae9 (diff) | |
Fix unification logic
Diffstat (limited to 'crates/hir_ty/src/infer/unify.rs')
| -rw-r--r-- | crates/hir_ty/src/infer/unify.rs | 2 |
1 files changed, 1 insertions, 1 deletions
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 { | |||
| 300 | | (TyKind::Raw(_, ty1), TyKind::Raw(_, ty2)) | 300 | | (TyKind::Raw(_, ty1), TyKind::Raw(_, ty2)) |
| 301 | | (TyKind::Array(ty1), TyKind::Array(ty2)) | 301 | | (TyKind::Array(ty1), TyKind::Array(ty2)) |
| 302 | | (TyKind::Slice(ty1), TyKind::Slice(ty2)) => self.unify_inner(ty1, ty2, depth + 1), | 302 | | (TyKind::Slice(ty1), TyKind::Slice(ty2)) => self.unify_inner(ty1, ty2, depth + 1), |
| 303 | _ => false, | 303 | _ => true, /* we checked equals_ctor already */ |
| 304 | } | 304 | } |
| 305 | } else { | 305 | } else { |
| 306 | self.unify_inner_trivial(&ty1, &ty2, depth) | 306 | self.unify_inner_trivial(&ty1, &ty2, depth) |