Skip to content

Commit 25785bb

Browse files
committed
crater: check impact of ignoring outlived regions in alias liveness
1 parent 7af913f commit 25785bb

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

compiler/rustc_infer/src/infer/outlives/for_liveness.rs

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -85,11 +85,11 @@ where
8585
// alias.
8686
if outlives_bounds.contains(&tcx.lifetimes.re_static) {
8787
// no
88-
} else if let Some(r) = outlives_bounds.first()
89-
&& outlives_bounds[1..].iter().all(|other_r| other_r == r)
90-
{
91-
assert!(r.type_flags().intersects(ty::TypeFlags::HAS_FREE_REGIONS));
92-
r.visit_with(self);
88+
// } else if let Some(r) = outlives_bounds.first()
89+
// && outlives_bounds[1..].iter().all(|other_r| other_r == r)
90+
// {
91+
// assert!(r.type_flags().intersects(ty::TypeFlags::HAS_FREE_REGIONS));
92+
// r.visit_with(self);
9393
} else {
9494
// Skip lifetime parameters that are not captured, since they do
9595
// not need to be live.

0 commit comments

Comments
 (0)