Skip to content

Commit dc0cdfd

Browse files
Squash fold into ty
1 parent 2828650 commit dc0cdfd

74 files changed

Lines changed: 137 additions & 158 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎compiler/rustc_borrowck/src/diagnostics/region_errors.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -14,9 +14,8 @@ use rustc_infer::infer::{NllRegionVariableOrigin, RelateParamBound};
1414
use rustc_middle::bug;
1515
use rustc_middle::hir::place::PlaceBase;
1616
use rustc_middle::mir::{AnnotationSource,ConstraintCategory,ReturnConstraint};
17-
use rustc_middle::ty::fold::fold_regions;
1817
use rustc_middle::ty::{
19-
self,GenericArgs,Region,RegionVid,Ty,TyCtxt,TypeFoldable,TypeVisitor,
18+
self,GenericArgs,Region,RegionVid,Ty,TyCtxt,TypeFoldable,TypeVisitor, fold_regions,
2019
};
2120
use rustc_span::{Ident,Span, kw};
2221
use rustc_trait_selection::error_reporting::InferCtxtErrorExt;

‎compiler/rustc_borrowck/src/lib.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,8 +35,7 @@ use rustc_infer::infer::{
3535
};
3636
use rustc_middle::mir::*;
3737
use rustc_middle::query::Providers;
38-
use rustc_middle::ty::fold::fold_regions;
39-
use rustc_middle::ty::{self,ParamEnv,RegionVid,TyCtxt,TypingMode};
38+
use rustc_middle::ty::{self,ParamEnv,RegionVid,TyCtxt,TypingMode, fold_regions};
4039
use rustc_middle::{bug, span_bug};
4140
use rustc_mir_dataflow::impls::{
4241
EverInitializedPlaces,MaybeInitializedPlaces,MaybeUninitializedPlaces,

‎compiler/rustc_borrowck/src/region_infer/mod.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -18,8 +18,7 @@ use rustc_middle::mir::{
1818
ReturnConstraint,TerminatorKind,
1919
};
2020
use rustc_middle::traits::{ObligationCause,ObligationCauseCode};
21-
use rustc_middle::ty::fold::fold_regions;
22-
use rustc_middle::ty::{self,RegionVid,Ty,TyCtxt,TypeFoldable,UniverseIndex};
21+
use rustc_middle::ty::{self,RegionVid,Ty,TyCtxt,TypeFoldable,UniverseIndex, fold_regions};
2322
use rustc_mir_dataflow::points::DenseLocationMap;
2423
use rustc_span::hygiene::DesugaringKind;
2524
use rustc_span::{DUMMY_SP,Span};

‎compiler/rustc_borrowck/src/region_infer/opaque_types.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -5,11 +5,10 @@ use rustc_hir::def_id::LocalDefId;
55
use rustc_infer::infer::outlives::env::OutlivesEnvironment;
66
use rustc_infer::infer::{InferCtxt,NllRegionVariableOrigin,TyCtxtInferExtas _};
77
use rustc_macros::extension;
8-
use rustc_middle::ty::fold::fold_regions;
98
use rustc_middle::ty::visit::TypeVisitableExt;
109
use rustc_middle::ty::{
1110
self,GenericArgKind,GenericArgs,OpaqueHiddenType,OpaqueTypeKey,Ty,TyCtxt,TypeFoldable,
12-
TypingMode,
11+
TypingMode, fold_regions,
1312
};
1413
use rustc_span::Span;
1514
use rustc_trait_selection::regions::OutlivesEnvironmentBuildExt;

‎compiler/rustc_borrowck/src/renumber.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,7 @@ use rustc_index::IndexSlice;
22
use rustc_infer::infer::NllRegionVariableOrigin;
33
use rustc_middle::mir::visit::{MutVisitor,TyContext};
44
use rustc_middle::mir::{Body,ConstOperand,Location,Promoted};
5-
use rustc_middle::ty::fold::fold_regions;
6-
use rustc_middle::ty::{self,GenericArgsRef,Ty,TyCtxt,TypeFoldable};
5+
use rustc_middle::ty::{self,GenericArgsRef,Ty,TyCtxt,TypeFoldable, fold_regions};
76
use rustc_span::Symbol;
87
use tracing::{debug, instrument};
98

‎compiler/rustc_borrowck/src/type_check/constraint_conversion.rs‎

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -7,8 +7,9 @@ use rustc_infer::infer::{self, InferCtxt, SubregionOrigin};
77
use rustc_infer::traits::query::type_op::DeeplyNormalize;
88
use rustc_middle::bug;
99
use rustc_middle::mir::{ClosureOutlivesSubject,ClosureRegionRequirements,ConstraintCategory};
10-
use rustc_middle::ty::fold::fold_regions;
11-
use rustc_middle::ty::{self,GenericArgKind,Ty,TyCtxt,TypeFoldable,TypeVisitableExt};
10+
use rustc_middle::ty::{
11+
self,GenericArgKind,Ty,TyCtxt,TypeFoldable,TypeVisitableExt, fold_regions,
12+
};
1213
use rustc_span::Span;
1314
use rustc_trait_selection::traits::query::type_op::{TypeOp,TypeOpOutput};
1415
use tracing::{debug, instrument};

‎compiler/rustc_borrowck/src/type_check/mod.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -24,12 +24,11 @@ use rustc_middle::mir::*;
2424
use rustc_middle::traits::query::NoSolution;
2525
use rustc_middle::ty::adjustment::PointerCoercion;
2626
use rustc_middle::ty::cast::CastTy;
27-
use rustc_middle::ty::fold::fold_regions;
2827
use rustc_middle::ty::visit::TypeVisitableExt;
2928
use rustc_middle::ty::{
3029
self,Binder,CanonicalUserTypeAnnotation,CanonicalUserTypeAnnotations,CoroutineArgsExt,
3130
Dynamic,GenericArgsRef,OpaqueHiddenType,OpaqueTypeKey,RegionVid,Ty,TyCtxt,UserArgs,
32-
UserTypeAnnotationIndex,
31+
UserTypeAnnotationIndex, fold_regions,
3332
};
3433
use rustc_middle::{bug, span_bug};
3534
use rustc_mir_dataflow::ResultsCursor;

‎compiler/rustc_borrowck/src/type_check/opaque_types.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2,10 +2,9 @@ use std::iter;
22

33
use rustc_data_structures::fx::FxIndexMap;
44
use rustc_middle::span_bug;
5-
use rustc_middle::ty::fold::fold_regions;
65
use rustc_middle::ty::{
76
self,GenericArgKind,OpaqueHiddenType,OpaqueTypeKey,Ty,TyCtxt,TypeSuperVisitable,
8-
TypeVisitable,TypeVisitableExt,TypeVisitor,
7+
TypeVisitable,TypeVisitableExt,TypeVisitor, fold_regions,
98
};
109
use tracing::{debug, trace};
1110

‎compiler/rustc_borrowck/src/type_check/relate_tys.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -10,9 +10,8 @@ use rustc_middle::mir::ConstraintCategory;
1010
use rustc_middle::span_bug;
1111
use rustc_middle::traits::ObligationCause;
1212
use rustc_middle::traits::query::NoSolution;
13-
use rustc_middle::ty::fold::FnMutDelegate;
1413
use rustc_middle::ty::relate::combine::{super_combine_consts, super_combine_tys};
15-
use rustc_middle::ty::{self,Ty,TyCtxt,TypeVisitableExt};
14+
use rustc_middle::ty::{self,FnMutDelegate,Ty,TyCtxt,TypeVisitableExt};
1615
use rustc_span::{Span,Symbol, sym};
1716
use tracing::{debug, instrument};
1817

‎compiler/rustc_borrowck/src/universal_regions.rs‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -27,11 +27,10 @@ use rustc_hir::lang_items::LangItem;
2727
use rustc_index::IndexVec;
2828
use rustc_infer::infer::NllRegionVariableOrigin;
2929
use rustc_macros::extension;
30-
use rustc_middle::ty::fold::{TypeFoldable, fold_regions};
3130
use rustc_middle::ty::print::with_no_trimmed_paths;
3231
use rustc_middle::ty::{
3332
self,GenericArgs,GenericArgsRef,InlineConstArgs,InlineConstArgsParts,RegionVid,Ty,
34-
TyCtxt,TypeVisitableExt,
33+
TyCtxt,TypeFoldable,TypeVisitableExt, fold_regions,
3534
};
3635
use rustc_middle::{bug, span_bug};
3736
use rustc_span::{ErrorGuaranteed, kw, sym};

0 commit comments

Comments
 (0)