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;
8
5
pub 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::*;
14
12
15
13
use crate::traits::{
16
14
self, ObligationCause, ObligationInspector, PredicateObligations, TraitEngine, TraitEngineExt,
17
15
};
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;
19
23
use rustc_data_structures::fx::FxIndexMap;
20
24
use rustc_data_structures::fx::{FxHashMap, FxHashSet};
21
25
use rustc_data_structures::sync::Lrc;
@@ -25,7 +29,9 @@ use rustc_errors::{Diag, DiagCtxt, ErrorGuaranteed};
25
29
use rustc_hir::def_id::{DefId, LocalDefId};
26
30
use rustc_middle::infer::canonical::{Canonical, CanonicalVarValues};
27
31
use rustc_middle::infer::unify_key::ConstVariableValue;
32
+ use rustc_middle::infer::unify_key::EffectVarValue;
28
33
use rustc_middle::infer::unify_key::{ConstVariableOrigin, ConstVariableOriginKind, ToType};
34
+ use rustc_middle::infer::unify_key::{ConstVidKey, EffectVidKey};
29
35
use rustc_middle::mir::interpret::{ErrorHandled, EvalToValTreeResult};
30
36
use rustc_middle::mir::ConstraintCategory;
31
37
use rustc_middle::traits::{select, DefiningAnchor};
@@ -34,25 +40,15 @@ use rustc_middle::ty::fold::BoundVarReplacerDelegate;
34
40
use rustc_middle::ty::fold::{TypeFoldable, TypeFolder, TypeSuperFoldable};
35
41
use rustc_middle::ty::relate::RelateResult;
36
42
use rustc_middle::ty::visit::TypeVisitableExt;
37
- pub use rustc_middle::ty::IntVarValue;
38
43
use rustc_middle::ty::{self, GenericParamDefKind, InferConst, InferTy, Ty, TyCtxt};
39
44
use rustc_middle::ty::{ConstVid, EffectVid, FloatVid, IntVid, TyVid};
40
45
use rustc_middle::ty::{GenericArg, GenericArgKind, GenericArgs, GenericArgsRef};
41
46
use rustc_span::symbol::Symbol;
42
47
use rustc_span::Span;
43
-
48
+ use snapshot::undo_log::InferCtxtUndoLogs;
44
49
use std::cell::{Cell, RefCell};
45
50
use 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};
56
52
57
53
pub mod at;
58
54
pub mod canonical;
0 commit comments