diff options
author | adamrk <[email protected]> | 2020-09-02 21:33:54 +0100 |
---|---|---|
committer | adamrk <[email protected]> | 2020-09-02 21:33:54 +0100 |
commit | e11cd8fe35fbb4fcaf7859f4cef2dbd94ff7d230 (patch) | |
tree | 151d1188da4ce2a5a41d730bcc64ffd42e5447aa /crates/hir | |
parent | d9bb86ad7dfd17543e6e1c9ef184337f828b1027 (diff) |
Remove exposing unification
Diffstat (limited to 'crates/hir')
-rw-r--r-- | crates/hir/src/code_model.rs | 6 |
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)] |