Unnamed repository; edit this file 'description' to name the repository.
Use Type::could_unify_with instead Type::eq
A4-Tacks 4 weeks ago
parent 2f0a284 · commit 7e8e008
-rw-r--r--crates/ide-diagnostics/src/handlers/type_mismatch.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ide-diagnostics/src/handlers/type_mismatch.rs b/crates/ide-diagnostics/src/handlers/type_mismatch.rs
index 53e3cd16b0..b3dbb2099c 100644
--- a/crates/ide-diagnostics/src/handlers/type_mismatch.rs
+++ b/crates/ide-diagnostics/src/handlers/type_mismatch.rs
@@ -412,7 +412,7 @@ fn array_length(
let (ty1, expected) = d.expected.as_array(ctx.db())?;
let (ty2, actual) = d.actual.as_array(ctx.db())?;
- if ty1 != ty2 || expected == actual {
+ if !ty1.could_unify_with(ctx.db(), &ty2) || expected == actual {
return None;
}