bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

eval_outlives: bail out early if both regions are in the same SCC

Browse source
This commit is contained in:
Amanda Stjerna 2025-02-18 13:01:01 +01:00
parent 2162e9d4b1
commit 53effa4566
1 changed files with 5 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
compiler/rustc_borrowck/src/region_infer/mod.rs
View file

@ -1267,6 +1267,11 @@ impl<'tcx> RegionInferenceContext<'tcx> {
let sub_region_scc = self.constraint_sccs.scc(sub_region);
let sup_region_scc = self.constraint_sccs.scc(sup_region);
if sub_region_scc == sup_region_scc {
debug!("{sup_region:?}: {sub_region:?} holds trivially; they are in the same SCC");
return true;
}
// If we are checking that `'sup: 'sub`, and `'sub` contains
// some placeholder that `'sup` cannot name, then this is only
// true if `'sup` outlives static.