aboutsummaryrefslogtreecommitdiff
path: root/crates/hir_ty/src/lib.rs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2021-04-07 19:40:01 +0100
committerFlorian Diebold <[email protected]>2021-04-07 19:40:01 +0100
commit6777a4975d6a88928fda3e3b3f0bb05d98c61060 (patch)
tree549d8b9eb2a30b9c6542f87545936e8283b8a8dd /crates/hir_ty/src/lib.rs
parent86feac18e8f96a99830defd707eb221f12d02924 (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.rs8
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
42pub use autoderef::autoderef; 42pub use autoderef::autoderef;
43pub use builder::TyBuilder; 43pub use builder::TyBuilder;
44pub use chalk_ext::{ProjectionTyExt, TyExt}; 44pub use chalk_ext::*;
45pub use infer::{could_unify, InferenceResult}; 45pub use infer::{could_unify, InferenceResult};
46pub use lower::{ 46pub 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
110impl TraitRef {
111 pub fn hir_trait_id(&self) -> TraitId {
112 from_chalk_trait_id(self.trait_id)
113 }
114}
115
116impl<T> Canonical<T> { 110impl<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| {