@@ -38,7 +38,10 @@ use crate::traits::query::{
3838 OutlivesBound ,
3939} ;
4040use crate :: traits:: specialization_graph;
41- use crate :: traits:: { self , ImplSource } ;
41+ use crate :: traits:: {
42+ CanonicalChalkEnvironmentAndGoal , CodegenObligationError , EvaluationResult , ImplSource ,
43+ ObjectSafetyViolation , ObligationCause , OverflowError , WellFormedLoc ,
44+ } ;
4245use crate :: ty:: fast_reject:: SimplifiedType ;
4346use crate :: ty:: layout:: ValidityRequirement ;
4447use crate :: ty:: subst:: { GenericArg , SubstsRef } ;
@@ -1273,7 +1276,7 @@ rustc_queries! {
12731276
12741277 query codegen_select_candidate(
12751278 key: ( ty:: ParamEnv <' tcx>, ty:: PolyTraitRef <' tcx>)
1276- ) -> Result <& ' tcx ImplSource <' tcx, ( ) >, traits :: CodegenObligationError > {
1279+ ) -> Result <& ' tcx ImplSource <' tcx, ( ) >, CodegenObligationError > {
12771280 cache_on_disk_if { true }
12781281 desc { |tcx| "computing candidate for `{}`" , key. 1 }
12791282 }
@@ -1294,7 +1297,7 @@ rustc_queries! {
12941297 desc { |tcx| "building specialization graph of trait `{}`" , tcx. def_path_str( trait_id) }
12951298 cache_on_disk_if { true }
12961299 }
1297- query object_safety_violations( trait_id: DefId ) -> & ' tcx [ traits :: ObjectSafetyViolation ] {
1300+ query object_safety_violations( trait_id: DefId ) -> & ' tcx [ ObjectSafetyViolation ] {
12981301 desc { |tcx| "determining object safety of trait `{}`" , tcx. def_path_str( trait_id) }
12991302 }
13001303 query check_is_object_safe( trait_id: DefId ) -> bool {
@@ -1838,8 +1841,7 @@ rustc_queries! {
18381841 }
18391842
18401843 /// A list of all traits in a crate, used by rustdoc and error reporting.
1841- /// NOTE: Not named just `traits` due to a naming conflict.
1842- query traits_in_crate( _: CrateNum ) -> & ' tcx [ DefId ] {
1844+ query traits( _: CrateNum ) -> & ' tcx [ DefId ] {
18431845 desc { "fetching all traits in a crate" }
18441846 separate_provide_extern
18451847 }
@@ -1953,12 +1955,12 @@ rustc_queries! {
19531955 /// `infcx.predicate_must_hold()` instead.
19541956 query evaluate_obligation(
19551957 goal: CanonicalPredicateGoal <' tcx>
1956- ) -> Result <traits :: EvaluationResult , traits :: OverflowError > {
1958+ ) -> Result <EvaluationResult , OverflowError > {
19571959 desc { "evaluating trait selection obligation `{}`" , goal. value. value }
19581960 }
19591961
19601962 query evaluate_goal(
1961- goal: traits :: CanonicalChalkEnvironmentAndGoal <' tcx>
1963+ goal: CanonicalChalkEnvironmentAndGoal <' tcx>
19621964 ) -> Result <
19631965 & ' tcx Canonical <' tcx, canonical:: QueryResponse <' tcx, ( ) >>,
19641966 NoSolution
@@ -2128,8 +2130,8 @@ rustc_queries! {
21282130 /// all of the cases that the normal `ty::Ty`-based wfcheck does. This is fine,
21292131 /// because the `ty::Ty`-based wfcheck is always run.
21302132 query diagnostic_hir_wf_check(
2131- key: ( ty:: Predicate <' tcx>, traits :: WellFormedLoc )
2132- ) -> & ' tcx Option <traits :: ObligationCause <' tcx>> {
2133+ key: ( ty:: Predicate <' tcx>, WellFormedLoc )
2134+ ) -> & ' tcx Option <ObligationCause <' tcx>> {
21332135 arena_cache
21342136 eval_always
21352137 no_hash
0 commit comments