From e11cd8fe35fbb4fcaf7859f4cef2dbd94ff7d230 Mon Sep 17 00:00:00 2001 From: adamrk Date: Wed, 2 Sep 2020 22:33:54 +0200 Subject: Remove exposing unification --- crates/hir/src/code_model.rs | 6 ------ 1 file changed, 6 deletions(-) (limited to 'crates/hir/src/code_model.rs') diff --git a/crates/hir/src/code_model.rs b/crates/hir/src/code_model.rs index afbf78b3b..dc3a1699f 100644 --- a/crates/hir/src/code_model.rs +++ b/crates/hir/src/code_model.rs @@ -1118,12 +1118,6 @@ impl Local { ast.map_left(|it| it.cast().unwrap().to_node(&root)).map_right(|it| it.to_node(&root)) }) } - - pub fn can_unify(self, other: Type, db: &dyn HirDatabase) -> bool { - let def = DefWithBodyId::from(self.parent); - let infer = db.infer(def); - db.can_unify(def, infer[self.pat_id].clone(), other.ty.value) - } } #[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)] -- cgit v1.2.3