user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

optimization: do nothing if there are no loans

Browse source
This commit is contained in:
Rémy Rakic 2025-12-30 16:22:59 +00:00
parent 6dcf65a1cb
commit 5d151083fc
1 changed files with 14 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

26
compiler/rustc_borrowck/src/polonius/mod.rs
View file

@ -139,18 +139,20 @@ impl PoloniusContext {
let localized_outlives_constraints = LocalizedOutlivesConstraintSet::default();
// From the outlives constraints, liveness, and variances, we can compute reachability on
// the lazy localized constraint graph to trace the liveness of loans, for the next step in
// the chain (the NLL loan scope and active loans computations).
let live_loans = compute_loan_liveness(
&body,
regioncx.outlives_constraints(),
regioncx.liveness_constraints(),
&live_region_variances,
regioncx.universal_regions(),
borrow_set,
);
regioncx.record_live_loans(live_loans);
if borrow_set.len() > 0 {
// From the outlives constraints, liveness, and variances, we can compute reachability
// on the lazy localized constraint graph to trace the liveness of loans, for the next
// step in the chain (the NLL loan scope and active loans computations).
let live_loans = compute_loan_liveness(
&body,
regioncx.outlives_constraints(),
regioncx.liveness_constraints(),
&live_region_variances,
regioncx.universal_regions(),
borrow_set,
);
regioncx.record_live_loans(live_loans);
}
PoloniusDiagnosticsContext { localized_outlives_constraints, boring_nll_locals }
}