diff options
author | Florian Diebold <[email protected]> | 2021-04-07 19:40:01 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-07 19:40:01 +0100 |
commit | 6777a4975d6a88928fda3e3b3f0bb05d98c61060 (patch) | |
tree | 549d8b9eb2a30b9c6542f87545936e8283b8a8dd /crates/hir_ty/src/lib.rs | |
parent | 86feac18e8f96a99830defd707eb221f12d02924 (diff) |
Move hir_trait_id to extension trait
Diffstat (limited to 'crates/hir_ty/src/lib.rs')
-rw-r--r-- | crates/hir_ty/src/lib.rs | 8 |
1 files changed, 1 insertions, 7 deletions
diff --git a/crates/hir_ty/src/lib.rs b/crates/hir_ty/src/lib.rs index 84645c435..7538e0874 100644 --- a/crates/hir_ty/src/lib.rs +++ b/crates/hir_ty/src/lib.rs | |||
@@ -41,7 +41,7 @@ use crate::{db::HirDatabase, display::HirDisplay, utils::generics}; | |||
41 | 41 | ||
42 | pub use autoderef::autoderef; | 42 | pub use autoderef::autoderef; |
43 | pub use builder::TyBuilder; | 43 | pub use builder::TyBuilder; |
44 | pub use chalk_ext::{ProjectionTyExt, TyExt}; | 44 | pub use chalk_ext::*; |
45 | pub use infer::{could_unify, InferenceResult}; | 45 | pub use infer::{could_unify, InferenceResult}; |
46 | pub use lower::{ | 46 | pub use lower::{ |
47 | associated_type_shorthand_candidates, callable_item_sig, CallableDefId, ImplTraitLoweringMode, | 47 | associated_type_shorthand_candidates, callable_item_sig, CallableDefId, ImplTraitLoweringMode, |
@@ -107,12 +107,6 @@ pub fn make_only_type_binders<T>(num_vars: usize, value: T) -> Binders<T> { | |||
107 | ) | 107 | ) |
108 | } | 108 | } |
109 | 109 | ||
110 | impl TraitRef { | ||
111 | pub fn hir_trait_id(&self) -> TraitId { | ||
112 | from_chalk_trait_id(self.trait_id) | ||
113 | } | ||
114 | } | ||
115 | |||
116 | impl<T> Canonical<T> { | 110 | impl<T> Canonical<T> { |
117 | pub fn new(value: T, kinds: impl IntoIterator<Item = TyVariableKind>) -> Self { | 111 | pub fn new(value: T, kinds: impl IntoIterator<Item = TyVariableKind>) -> Self { |
118 | let kinds = kinds.into_iter().map(|tk| { | 112 | let kinds = kinds.into_iter().map(|tk| { |