crater: check impact of ignoring outlived regions in alias liveness

Author: lqd

compiler/rustc_const_eval/src/interpret/intern.rs

@@ -106,7 +106,7 @@ fn intern_shallow<'tcx, M: CompileTimeMachine<'tcx>>(
     alloc_id: AllocId,
     mutability: Mutability,
     disambiguator: Option<&mut DisambiguatorState>,
-) -> Result<impl Iterator<Item = CtfeProvenance> + 'tcx, InternError> {
+) -> Result<impl Iterator<Item = CtfeProvenance> + 'tcx + use<'tcx, M>, InternError> {
     trace!("intern_shallow {:?}", alloc_id);
     // remove allocation
     // FIXME(#120456) - is `swap_remove` correct?

compiler/rustc_expand/src/expand.rs

@@ -1947,7 +1947,7 @@ fn build_single_delegations<'a, Node: InvocationCollectorNode>(
     suffixes: &'a [(Ident, Option<Ident>)],
     item_span: Span,
     from_glob: bool,
-) -> impl Iterator<Item = ast::Item<Node::ItemKind>> + 'a {
+) -> impl Iterator<Item = ast::Item<Node::ItemKind>> + 'a + use<'a, Node> {
     if suffixes.is_empty() {
         // Report an error for now, to avoid keeping stem for resolution and
         // stability checks.

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

@@ -85,11 +85,11 @@ where
                 // alias.
                 if outlives_bounds.contains(&tcx.lifetimes.re_static) {
                     // no
-                } else if let Some(r) = outlives_bounds.first()
-                    && outlives_bounds[1..].iter().all(|other_r| other_r == r)
-                {
-                    assert!(r.type_flags().intersects(ty::TypeFlags::HAS_FREE_REGIONS));
-                    r.visit_with(self);
+                    // } else if let Some(r) = outlives_bounds.first()
+                    //     && outlives_bounds[1..].iter().all(|other_r| other_r == r)
+                    // {
+                    //     assert!(r.type_flags().intersects(ty::TypeFlags::HAS_FREE_REGIONS));
+                    //     r.visit_with(self);
                 } else {
                     // Skip lifetime parameters that are not captured, since they do
                     // not need to be live.