1- pub use self :: at:: DefineOpaqueTypes ;
2- pub use self :: freshen:: TypeFreshener ;
3- pub use self :: lexical_region_resolve:: RegionResolutionError ;
4- pub use self :: BoundRegionConversionTime :: * ;
5- pub use self :: RegionVariableOrigin :: * ;
6- pub use self :: SubregionOrigin :: * ;
7- pub use self :: ValuePairs :: * ;
1+ pub use at:: DefineOpaqueTypes ;
2+ pub use freshen:: TypeFreshener ;
3+ pub use lexical_region_resolve:: RegionResolutionError ;
4+ pub use relate:: combine:: CombineFields ;
85pub use relate:: combine:: ObligationEmittingRelation ;
9- use rustc_data_structures:: captures:: Captures ;
10- use rustc_middle:: infer:: unify_key:: EffectVarValue ;
11- use rustc_middle:: infer:: unify_key:: { ConstVidKey , EffectVidKey } ;
12-
13- use self :: opaque_types:: OpaqueTypeStorage ;
6+ pub use relate:: StructurallyRelateAliases ;
7+ pub use rustc_middle:: ty:: IntVarValue ;
8+ pub use BoundRegionConversionTime :: * ;
9+ pub use RegionVariableOrigin :: * ;
10+ pub use SubregionOrigin :: * ;
11+ pub use ValuePairs :: * ;
1412
1513use crate :: traits:: {
1614 self , ObligationCause , ObligationInspector , PredicateObligations , TraitEngine , TraitEngineExt ,
1715} ;
18-
16+ use error_reporting:: TypeErrCtxt ;
17+ use free_regions:: RegionRelations ;
18+ use lexical_region_resolve:: LexicalRegionResolutions ;
19+ use opaque_types:: OpaqueTypeStorage ;
20+ use region_constraints:: { GenericKind , VarInfos , VerifyBound } ;
21+ use region_constraints:: { RegionConstraintCollector , RegionConstraintStorage } ;
22+ use rustc_data_structures:: captures:: Captures ;
1923use rustc_data_structures:: fx:: FxIndexMap ;
2024use rustc_data_structures:: fx:: { FxHashMap , FxHashSet } ;
2125use rustc_data_structures:: sync:: Lrc ;
@@ -25,7 +29,9 @@ use rustc_errors::{Diag, DiagCtxt, ErrorGuaranteed};
2529use rustc_hir:: def_id:: { DefId , LocalDefId } ;
2630use rustc_middle:: infer:: canonical:: { Canonical , CanonicalVarValues } ;
2731use rustc_middle:: infer:: unify_key:: ConstVariableValue ;
32+ use rustc_middle:: infer:: unify_key:: EffectVarValue ;
2833use rustc_middle:: infer:: unify_key:: { ConstVariableOrigin , ConstVariableOriginKind , ToType } ;
34+ use rustc_middle:: infer:: unify_key:: { ConstVidKey , EffectVidKey } ;
2935use rustc_middle:: mir:: interpret:: { ErrorHandled , EvalToValTreeResult } ;
3036use rustc_middle:: mir:: ConstraintCategory ;
3137use rustc_middle:: traits:: { select, DefiningAnchor } ;
@@ -34,25 +40,15 @@ use rustc_middle::ty::fold::BoundVarReplacerDelegate;
3440use rustc_middle:: ty:: fold:: { TypeFoldable , TypeFolder , TypeSuperFoldable } ;
3541use rustc_middle:: ty:: relate:: RelateResult ;
3642use rustc_middle:: ty:: visit:: TypeVisitableExt ;
37- pub use rustc_middle:: ty:: IntVarValue ;
3843use rustc_middle:: ty:: { self , GenericParamDefKind , InferConst , InferTy , Ty , TyCtxt } ;
3944use rustc_middle:: ty:: { ConstVid , EffectVid , FloatVid , IntVid , TyVid } ;
4045use rustc_middle:: ty:: { GenericArg , GenericArgKind , GenericArgs , GenericArgsRef } ;
4146use rustc_span:: symbol:: Symbol ;
4247use rustc_span:: Span ;
43-
48+ use snapshot :: undo_log :: InferCtxtUndoLogs ;
4449use std:: cell:: { Cell , RefCell } ;
4550use std:: fmt;
46-
47- use self :: error_reporting:: TypeErrCtxt ;
48- use self :: free_regions:: RegionRelations ;
49- use self :: lexical_region_resolve:: LexicalRegionResolutions ;
50- use self :: region_constraints:: { GenericKind , VarInfos , VerifyBound } ;
51- use self :: region_constraints:: { RegionConstraintCollector , RegionConstraintStorage } ;
52- pub use self :: relate:: combine:: CombineFields ;
53- pub use self :: relate:: StructurallyRelateAliases ;
54- use self :: snapshot:: undo_log:: InferCtxtUndoLogs ;
55- use self :: type_variable:: { TypeVariableOrigin , TypeVariableOriginKind } ;
51+ use type_variable:: { TypeVariableOrigin , TypeVariableOriginKind } ;
5652
5753pub mod at;
5854pub mod canonical;
0 commit comments