remove `num_universal_regions` etc from RegionValueElements

diff --git a/src/librustc_mir/borrow_check/nll/mod.rs b/src/librustc_mir/borrow_check/nll/mod.rs
index acf6f671a7f8d7dbb981b5b7dd766ab32dffcc53..63d5de4f2e525f0c8c956ba82d9368f2475adcaa 100644 (file)
--- a/src/librustc_mir/borrow_check/nll/mod.rs
+++ b/src/librustc_mir/borrow_check/nll/mod.rs
@@ -104,7 +104,7 @@ pub(in borrow_check) fn compute_regions<'cx, 'gcx, 'tcx>(
         None
     };
 
-    let elements = &Rc::new(RegionValueElements::new(mir, universal_regions.len()));
+    let elements = &Rc::new(RegionValueElements::new(mir));
 
     // Run the MIR type-checker.
     let liveness_map = NllLivenessMap::compute(&mir);

diff --git a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs
index 4853db50a6c96b4ec66693ea2db1ca5af12d3960..3d830c507f247941935bd97bce9679a007e5d044 100644 (file)
--- a/src/librustc_mir/borrow_check/nll/region_infer/mod.rs
+++ b/src/librustc_mir/borrow_check/nll/region_infer/mod.rs
@@ -214,7 +214,10 @@ pub(crate) fn new(
         let constraint_graph = Rc::new(constraints.graph(definitions.len()));
         let constraint_sccs = Rc::new(constraints.compute_sccs(&constraint_graph));
 
-        let mut scc_values = RegionValues::new(elements);
+        let mut scc_values = RegionValues::new(
+            elements,
+            universal_regions.len(),
+        );
 
         for region in liveness_constraints.rows() {
             let scc = constraint_sccs.scc(region);

diff --git a/src/librustc_mir/borrow_check/nll/region_infer/values.rs b/src/librustc_mir/borrow_check/nll/region_infer/values.rs
index c31698720d5a2b1f4c7a48803e74bf280d851f6a..f6a718fdcf8e218ae437fe095549ddfbae318ba4 100644 (file)
--- a/src/librustc_mir/borrow_check/nll/region_infer/values.rs
+++ b/src/librustc_mir/borrow_check/nll/region_infer/values.rs
@@ -22,11 +22,10 @@
     /// For each basic block, how many points are contained within?
     statements_before_block: IndexVec<BasicBlock, usize>,
     num_points: usize,
-    num_universal_regions: usize,
 }
 
 impl RegionValueElements {
-    crate fn new(mir: &Mir<'_>, num_universal_regions: usize) -> Self {
+    crate fn new(mir: &Mir<'_>) -> Self {
         let mut num_points = 0;
         let statements_before_block = mir
             .basic_blocks()
@@ -37,11 +36,6 @@ impl RegionValueElements {
                 v
             })
             .collect();
-
-        debug!(
-            "RegionValueElements(num_universal_regions={:?})",
-            num_universal_regions
-        );
         debug!(
             "RegionValueElements: statements_before_block={:#?}",
             statements_before_block
@@ -51,7 +45,6 @@ impl RegionValueElements {
         Self {
             statements_before_block,
             num_points,
-            num_universal_regions,
         }
     }
 
@@ -191,11 +184,14 @@ impl<N: Idx> RegionValues<N> {
     /// Creates a new set of "region values" that tracks causal information.
     /// Each of the regions in num_region_variables will be initialized with an
     /// empty set of points and no causal information.
-    crate fn new(elements: &Rc<RegionValueElements>) -> Self {
+    crate fn new(
+        elements: &Rc<RegionValueElements>,
+        num_universal_regions: usize,
+    ) -> Self {
         Self {
             elements: elements.clone(),
             points: SparseBitMatrix::new(elements.num_points),
-            free_regions: SparseBitMatrix::new(elements.num_universal_regions),
+            free_regions: SparseBitMatrix::new(num_universal_regions),
         }
     }