File tree Expand file tree Collapse file tree 4 files changed +5
-4
lines changed
src/librustc_mir/borrow_check/nll Expand file tree Collapse file tree 4 files changed +5
-4
lines changed Original file line number Diff line number Diff line change @@ -12,8 +12,8 @@ use borrow_check::borrow_set::BorrowSet;
1212use borrow_check:: location:: { LocationIndex , LocationTable } ;
1313use borrow_check:: nll:: facts:: AllFactsExt ;
1414use borrow_check:: nll:: type_check:: { MirTypeckResults , MirTypeckRegionConstraints } ;
15+ use borrow_check:: nll:: type_check:: liveness:: liveness_map:: { NllLivenessMap , LocalWithRegion } ;
1516use borrow_check:: nll:: region_infer:: values:: RegionValueElements ;
16- use borrow_check:: nll:: liveness_map:: { NllLivenessMap , LocalWithRegion } ;
1717use dataflow:: indexes:: BorrowIndex ;
1818use dataflow:: move_paths:: MoveData ;
1919use dataflow:: FlowAtLocation ;
@@ -47,7 +47,6 @@ crate mod region_infer;
4747mod renumber;
4848crate mod type_check;
4949mod universal_regions;
50- crate mod liveness_map;
5150
5251mod constraints;
5352
File renamed without changes.
Original file line number Diff line number Diff line change @@ -25,6 +25,8 @@ use util::liveness::{LivenessResults, LiveVariableMap };
2525
2626use super :: TypeChecker ;
2727
28+ crate mod liveness_map;
29+
2830/// Combines liveness analysis with initialization analysis to
2931/// determine which variables are live at which points, both due to
3032/// ordinary uses and drops. Returns a set of (ty, location) pairs
Original file line number Diff line number Diff line change @@ -15,10 +15,10 @@ use borrow_check::borrow_set::BorrowSet;
1515use borrow_check:: location:: LocationTable ;
1616use borrow_check:: nll:: constraints:: { ConstraintSet , OutlivesConstraint } ;
1717use borrow_check:: nll:: facts:: AllFacts ;
18- use borrow_check:: nll:: liveness_map:: NllLivenessMap ;
1918use borrow_check:: nll:: region_infer:: values:: { RegionValueElements , LivenessValues } ;
2019use borrow_check:: nll:: region_infer:: { ClosureRegionRequirementsExt , TypeTest } ;
2120use borrow_check:: nll:: type_check:: free_region_relations:: { CreateResult , UniversalRegionRelations } ;
21+ use borrow_check:: nll:: type_check:: liveness:: liveness_map:: NllLivenessMap ;
2222use borrow_check:: nll:: universal_regions:: UniversalRegions ;
2323use borrow_check:: nll:: LocalWithRegion ;
2424use borrow_check:: nll:: ToRegionVid ;
@@ -75,7 +75,7 @@ macro_rules! span_mirbug_and_err {
7575mod constraint_conversion;
7676pub mod free_region_relations;
7777mod input_output;
78- mod liveness;
78+ crate mod liveness;
7979mod relate_tys;
8080
8181/// Type checks the given `mir` in the context of the inference
You can’t perform that action at this time.
0 commit comments