mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

refer to points and not "elements", and remove unused return value

Browse Source
This commit is contained in:
Rémy Rakic 2023-11-13 14:54:07 +00:00
parent fb94626431
commit c8feeb6ced
2 changed files with 5 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
compiler/rustc_borrowck/src/region_infer/values.rs
View File

@ -143,11 +143,10 @@ impl<N: Idx> LivenessValues<N> {
self.points.insert(region, point);
}
/// Adds all the elements in the given bit array into the given
/// region. Returns whether any of them are newly added.
pub(crate) fn add_elements(&mut self, region: N, locations: &IntervalSet<PointIndex>) -> bool {
debug!("LivenessValues::add_elements(region={:?}, locations={:?})", region, locations);
self.points.union_row(region, locations)
/// Records `region` as being live at all the given `points`.
pub(crate) fn add_points(&mut self, region: N, points: &IntervalSet<PointIndex>) {
debug!("LivenessValues::add_points(region={:?}, points={:?})", region, points);
self.points.union_row(region, points);
}
/// Records `region` as being live at all the control-flow points.

2
compiler/rustc_borrowck/src/type_check/liveness/trace.rs
View File

@ -618,7 +618,7 @@ impl<'tcx> LivenessContext<'_, '_, '_, 'tcx> {
.borrowck_context
.constraints
.liveness_constraints
.add_elements(live_region_vid, live_at);
.add_points(live_region_vid, live_at);
// There can only be inflowing loans for this region when we are using
// `-Zpolonius=next`.