aboutsummaryrefslogtreecommitdiff
path: root/crates/hir
diff options
context:
space:
mode:
authoradamrk <[email protected]>2020-09-02 21:33:54 +0100
committeradamrk <[email protected]>2020-09-02 21:33:54 +0100
commite11cd8fe35fbb4fcaf7859f4cef2dbd94ff7d230 (patch)
tree151d1188da4ce2a5a41d730bcc64ffd42e5447aa /crates/hir
parentd9bb86ad7dfd17543e6e1c9ef184337f828b1027 (diff)
Remove exposing unification
Diffstat (limited to 'crates/hir')
-rw-r--r--crates/hir/src/code_model.rs6
1 files changed, 0 insertions, 6 deletions
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 {
1118 ast.map_left(|it| it.cast().unwrap().to_node(&root)).map_right(|it| it.to_node(&root)) 1118 ast.map_left(|it| it.cast().unwrap().to_node(&root)).map_right(|it| it.to_node(&root))
1119 }) 1119 })
1120 } 1120 }
1121
1122 pub fn can_unify(self, other: Type, db: &dyn HirDatabase) -> bool {
1123 let def = DefWithBodyId::from(self.parent);
1124 let infer = db.infer(def);
1125 db.can_unify(def, infer[self.pat_id].clone(), other.ty.value)
1126 }
1127} 1121}
1128 1122
1129#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)] 1123#[derive(Clone, Copy, Debug, PartialEq, Eq, Hash)]