Auto merge of #52037 - lqd:skipping-regionless-types, r=nikomatsakis

NLL Liveness: Skip regionless types when visiting free regions

The tuple-stress benchmark exercises the liveness constraint generation code for types which do not have regions

Closes #52027

1 files changed, 9 insertions, 0 deletions

diff --git a/src/librustc/ty/fold.rs b/src/librustc/ty/fold.rs
index 076a19fb4ed..1380d10e493 100644
--- a/src/librustc/ty/fold.rs
+++ b/src/librustc/ty/fold.rs
@@ -325,6 +325,15 @@ impl<'a, 'gcx, 'tcx> TyCtxt<'a, 'gcx, 'tcx> {
                     _ => (self.callback)(r),
                 }
             }
+
+            fn visit_ty(&mut self, ty: Ty<'tcx>) -> bool {
+                // We're only interested in types involving regions
+                if ty.flags.intersects(TypeFlags::HAS_FREE_REGIONS) {
+                    ty.super_visit_with(self)
+                } else {
+                    false // keep visiting
+                }
+            }
         }
     }
 }