diff options
-rw-r--r-- | crates/ra_hir/src/code_model.rs | 9 | ||||
-rw-r--r-- | crates/ra_hir_ty/src/lower.rs | 11 |
2 files changed, 4 insertions, 16 deletions
diff --git a/crates/ra_hir/src/code_model.rs b/crates/ra_hir/src/code_model.rs index 5a3e24e9e..9488521a9 100644 --- a/crates/ra_hir/src/code_model.rs +++ b/crates/ra_hir/src/code_model.rs | |||
@@ -29,10 +29,7 @@ use ra_syntax::{ast, AstNode, SyntaxNode}; | |||
29 | use crate::{ | 29 | use crate::{ |
30 | db::{DefDatabase, HirDatabase}, | 30 | db::{DefDatabase, HirDatabase}, |
31 | ty::display::HirFormatter, | 31 | ty::display::HirFormatter, |
32 | ty::{ | 32 | ty::{self, InEnvironment, InferenceResult, TraitEnvironment, Ty, TyDefId, TypeCtor, TypeWalk}, |
33 | self, InEnvironment, InferenceResult, TraitEnvironment, TraitRef, Ty, TyDefId, TypeCtor, | ||
34 | TypeWalk, | ||
35 | }, | ||
36 | CallableDef, Either, HirDisplay, Name, Source, | 33 | CallableDef, Either, HirDisplay, Name, Source, |
37 | }; | 34 | }; |
38 | 35 | ||
@@ -731,10 +728,6 @@ impl Trait { | |||
731 | db.trait_data(self.id).items.iter().map(|(_name, it)| (*it).into()).collect() | 728 | db.trait_data(self.id).items.iter().map(|(_name, it)| (*it).into()).collect() |
732 | } | 729 | } |
733 | 730 | ||
734 | pub fn trait_ref(self, db: &impl HirDatabase) -> TraitRef { | ||
735 | TraitRef::for_trait(db, self.id) | ||
736 | } | ||
737 | |||
738 | pub fn is_auto(self, db: &impl DefDatabase) -> bool { | 731 | pub fn is_auto(self, db: &impl DefDatabase) -> bool { |
739 | db.trait_data(self.id).auto | 732 | db.trait_data(self.id).auto |
740 | } | 733 | } |
diff --git a/crates/ra_hir_ty/src/lower.rs b/crates/ra_hir_ty/src/lower.rs index f8331d257..091c60f4f 100644 --- a/crates/ra_hir_ty/src/lower.rs +++ b/crates/ra_hir_ty/src/lower.rs | |||
@@ -363,7 +363,7 @@ pub(super) fn substs_from_path_segment( | |||
363 | } | 363 | } |
364 | 364 | ||
365 | impl TraitRef { | 365 | impl TraitRef { |
366 | pub(crate) fn from_path( | 366 | fn from_path( |
367 | db: &impl HirDatabase, | 367 | db: &impl HirDatabase, |
368 | resolver: &Resolver, | 368 | resolver: &Resolver, |
369 | path: &Path, | 369 | path: &Path, |
@@ -377,7 +377,7 @@ impl TraitRef { | |||
377 | Some(TraitRef::from_resolved_path(db, resolver, resolved.into(), segment, explicit_self_ty)) | 377 | Some(TraitRef::from_resolved_path(db, resolver, resolved.into(), segment, explicit_self_ty)) |
378 | } | 378 | } |
379 | 379 | ||
380 | pub(super) fn from_resolved_path( | 380 | pub(crate) fn from_resolved_path( |
381 | db: &impl HirDatabase, | 381 | db: &impl HirDatabase, |
382 | resolver: &Resolver, | 382 | resolver: &Resolver, |
383 | resolved: TraitId, | 383 | resolved: TraitId, |
@@ -391,7 +391,7 @@ impl TraitRef { | |||
391 | TraitRef { trait_: resolved, substs } | 391 | TraitRef { trait_: resolved, substs } |
392 | } | 392 | } |
393 | 393 | ||
394 | pub(crate) fn from_hir( | 394 | fn from_hir( |
395 | db: &impl HirDatabase, | 395 | db: &impl HirDatabase, |
396 | resolver: &Resolver, | 396 | resolver: &Resolver, |
397 | type_ref: &TypeRef, | 397 | type_ref: &TypeRef, |
@@ -415,11 +415,6 @@ impl TraitRef { | |||
415 | substs_from_path_segment(db, resolver, segment, Some(resolved.into()), !has_self_param) | 415 | substs_from_path_segment(db, resolver, segment, Some(resolved.into()), !has_self_param) |
416 | } | 416 | } |
417 | 417 | ||
418 | pub fn for_trait(db: &impl HirDatabase, trait_: TraitId) -> TraitRef { | ||
419 | let substs = Substs::identity(&db.generic_params(trait_.into())); | ||
420 | TraitRef { trait_, substs } | ||
421 | } | ||
422 | |||
423 | pub(crate) fn from_type_bound( | 418 | pub(crate) fn from_type_bound( |
424 | db: &impl HirDatabase, | 419 | db: &impl HirDatabase, |
425 | resolver: &Resolver, | 420 | resolver: &Resolver, |