Skip to content

Commit

Permalink
Drop the my_ prefix for region_live_at
Browse files Browse the repository at this point in the history
Apparently the shadowing variable isn't a problem, and the preparations done to
the first version of it are basically preparations for creating that variable
anyway.
  • Loading branch information
Albin Stjerna committed Mar 14, 2019
1 parent bb083f2 commit 833ba37
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions polonius-engine/src/output/location_insensitive.rs
Original file line number Diff line number Diff line change
Expand Up @@ -27,11 +27,11 @@ pub(super) fn compute<Region: Atom, Loan: Atom, Point: Atom>(
.chain(all_facts.cfg_edge.iter().map(|&(_, q)| q))
.collect();

let mut my_region_live_at = all_facts.region_live_at.clone();
my_region_live_at.reserve(all_facts.universal_region.len() * all_points.len());
let mut region_live_at = all_facts.region_live_at.clone();
region_live_at.reserve(all_facts.universal_region.len() * all_points.len());
for &r in &all_facts.universal_region {
for &p in &all_points {
my_region_live_at.push((r, p));
region_live_at.push((r, p));
}
}

Expand All @@ -44,7 +44,7 @@ pub(super) fn compute<Region: Atom, Loan: Atom, Point: Atom>(
let mut iteration = Iteration::new();

// static inputs
let region_live_at: Relation<(Region, Point)> = my_region_live_at.into();
let region_live_at: Relation<(Region, Point)> = region_live_at.into();
let invalidates = Relation::from_iter(all_facts.invalidates.iter().map(|&(b, p)| (p, b)));

// .. some variables, ..
Expand Down

0 comments on commit 833ba37

Please sign in to comment.