diff options
| -rw-r--r-- | src/librustc/infer/opaque_types/mod.rs | 2 | ||||
| -rw-r--r-- | src/librustc/infer/outlives/env.rs | 2 | ||||
| -rw-r--r-- | src/librustc/infer/outlives/mod.rs | 1 | ||||
| -rw-r--r-- | src/librustc/middle/free_region.rs | 2 | ||||
| -rw-r--r-- | src/librustc/ty/context.rs | 2 | ||||
| -rw-r--r-- | src/librustc/ty/free_region_map.rs (renamed from src/librustc/infer/outlives/free_region_map.rs) | 0 | ||||
| -rw-r--r-- | src/librustc/ty/mod.rs | 1 | ||||
| -rw-r--r-- | src/librustc_mir/borrow_check/type_check/free_region_relations.rs | 2 |
8 files changed, 6 insertions, 6 deletions
diff --git a/src/librustc/infer/opaque_types/mod.rs b/src/librustc/infer/opaque_types/mod.rs index 834b8e8e72e..10d5fdf30e3 100644 --- a/src/librustc/infer/opaque_types/mod.rs +++ b/src/librustc/infer/opaque_types/mod.rs @@ -1,9 +1,9 @@ use crate::infer::error_reporting::{note_and_explain_free_region, note_and_explain_region}; -use crate::infer::outlives::free_region_map::FreeRegionRelations; use crate::infer::{self, InferCtxt, InferOk, TypeVariableOrigin, TypeVariableOriginKind}; use crate::middle::region; use crate::traits::{self, PredicateObligation}; use crate::ty::fold::{BottomUpFolder, TypeFoldable, TypeFolder, TypeVisitor}; +use crate::ty::free_region_map::FreeRegionRelations; use crate::ty::subst::{GenericArg, GenericArgKind, InternalSubsts, SubstsRef}; use crate::ty::{self, GenericParamDefKind, Ty, TyCtxt}; use errors::DiagnosticBuilder; diff --git a/src/librustc/infer/outlives/env.rs b/src/librustc/infer/outlives/env.rs index 130cffe5022..ee2e629c2fc 100644 --- a/src/librustc/infer/outlives/env.rs +++ b/src/librustc/infer/outlives/env.rs @@ -1,6 +1,6 @@ -use crate::infer::outlives::free_region_map::FreeRegionMap; use crate::infer::{GenericKind, InferCtxt}; use crate::traits::query::outlives_bounds::{self, OutlivesBound}; +use crate::ty::free_region_map::FreeRegionMap; use crate::ty::{self, Ty}; use rustc_data_structures::fx::FxHashMap; use rustc_hir as hir; diff --git a/src/librustc/infer/outlives/mod.rs b/src/librustc/infer/outlives/mod.rs index e421d6fb692..6fc72470c9f 100644 --- a/src/librustc/infer/outlives/mod.rs +++ b/src/librustc/infer/outlives/mod.rs @@ -1,6 +1,5 @@ //! Various code related to computing outlives relations. pub mod env; -pub mod free_region_map; pub mod obligations; pub mod verify; diff --git a/src/librustc/middle/free_region.rs b/src/librustc/middle/free_region.rs index 253e00f9e4d..355f949b870 100644 --- a/src/librustc/middle/free_region.rs +++ b/src/librustc/middle/free_region.rs @@ -3,8 +3,8 @@ //! or explicit bounds. In that case, we track the bounds using the `TransitiveRelation` type, //! and use that to decide when one free region outlives another, and so forth. -use crate::infer::outlives::free_region_map::{FreeRegionMap, FreeRegionRelations}; use crate::middle::region; +use crate::ty::free_region_map::{FreeRegionMap, FreeRegionRelations}; use crate::ty::{self, Region, TyCtxt}; use rustc_hir::def_id::DefId; diff --git a/src/librustc/ty/context.rs b/src/librustc/ty/context.rs index a2e5edb67fc..17f5b98ab20 100644 --- a/src/librustc/ty/context.rs +++ b/src/librustc/ty/context.rs @@ -8,7 +8,6 @@ use crate::hir::map as hir_map; use crate::hir::map::DefPathHash; use crate::ich::{NodeIdHashingMode, StableHashingContext}; use crate::infer::canonical::{Canonical, CanonicalVarInfo, CanonicalVarInfos}; -use crate::infer::outlives::free_region_map::FreeRegionMap; use crate::lint::{self, Lint}; use crate::middle; use crate::middle::cstore::CrateStoreDyn; @@ -26,6 +25,7 @@ use crate::session::config::{BorrowckMode, OutputFilenames}; use crate::session::Session; use crate::traits; use crate::traits::{Clause, Clauses, Goal, GoalKind, Goals}; +use crate::ty::free_region_map::FreeRegionMap; use crate::ty::layout::{LayoutDetails, TargetDataLayout, VariantIdx}; use crate::ty::query; use crate::ty::steal::Steal; diff --git a/src/librustc/infer/outlives/free_region_map.rs b/src/librustc/ty/free_region_map.rs index 42f506606e6..42f506606e6 100644 --- a/src/librustc/infer/outlives/free_region_map.rs +++ b/src/librustc/ty/free_region_map.rs diff --git a/src/librustc/ty/mod.rs b/src/librustc/ty/mod.rs index 23e4309c1d3..5457516a6a2 100644 --- a/src/librustc/ty/mod.rs +++ b/src/librustc/ty/mod.rs @@ -103,6 +103,7 @@ pub mod error; pub mod fast_reject; pub mod flags; pub mod fold; +pub mod free_region_map; pub mod inhabitedness; pub mod layout; pub mod normalize_erasing_regions; diff --git a/src/librustc_mir/borrow_check/type_check/free_region_relations.rs b/src/librustc_mir/borrow_check/type_check/free_region_relations.rs index 0e4801b88d8..f0dc94f417c 100644 --- a/src/librustc_mir/borrow_check/type_check/free_region_relations.rs +++ b/src/librustc_mir/borrow_check/type_check/free_region_relations.rs @@ -1,10 +1,10 @@ use rustc::infer::canonical::QueryRegionConstraints; -use rustc::infer::outlives::free_region_map::FreeRegionRelations; use rustc::infer::region_constraints::GenericKind; use rustc::infer::InferCtxt; use rustc::mir::ConstraintCategory; use rustc::traits::query::outlives_bounds::{self, OutlivesBound}; use rustc::traits::query::type_op::{self, TypeOp}; +use rustc::ty::free_region_map::FreeRegionRelations; use rustc::ty::{self, RegionVid, Ty}; use rustc_data_structures::transitive_relation::TransitiveRelation; use rustc_span::DUMMY_SP; |
