diff options
-rw-r--r-- | crates/hir/src/lib.rs | 4 | ||||
-rw-r--r-- | crates/ide_completion/src/render.rs | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/crates/hir/src/lib.rs b/crates/hir/src/lib.rs index d443b124c..21b1a8e4a 100644 --- a/crates/hir/src/lib.rs +++ b/crates/hir/src/lib.rs | |||
@@ -2223,8 +2223,8 @@ impl Type { | |||
2223 | walk_type(db, self, &mut cb); | 2223 | walk_type(db, self, &mut cb); |
2224 | } | 2224 | } |
2225 | 2225 | ||
2226 | pub fn could_unify_with(&self, other: &Type) -> bool { | 2226 | pub fn could_unify_with(&self, db: &dyn HirDatabase, other: &Type) -> bool { |
2227 | could_unify(&self.ty, &other.ty) | 2227 | could_unify(db, self.env.clone(), &self.ty, &other.ty) |
2228 | } | 2228 | } |
2229 | } | 2229 | } |
2230 | 2230 | ||
diff --git a/crates/ide_completion/src/render.rs b/crates/ide_completion/src/render.rs index 1a762d3dc..6b04ee164 100644 --- a/crates/ide_completion/src/render.rs +++ b/crates/ide_completion/src/render.rs | |||
@@ -323,7 +323,7 @@ fn compute_type_match( | |||
323 | 323 | ||
324 | if completion_ty == expected_type { | 324 | if completion_ty == expected_type { |
325 | Some(CompletionRelevanceTypeMatch::Exact) | 325 | Some(CompletionRelevanceTypeMatch::Exact) |
326 | } else if expected_type.could_unify_with(completion_ty) { | 326 | } else if expected_type.could_unify_with(ctx.db, completion_ty) { |
327 | Some(CompletionRelevanceTypeMatch::CouldUnify) | 327 | Some(CompletionRelevanceTypeMatch::CouldUnify) |
328 | } else { | 328 | } else { |
329 | None | 329 | None |