1 files changed, 5 insertions, 8 deletions
diff --git a/compiler/rustc_trait_selection/src/opaque_types.rs b/compiler/rustc_trait_selection/src/opaque_types.rs
index 0ccdcf68ee6..8fb2a71e464 100644
--- a/compiler/rustc_trait_selection/src/opaque_types.rs
+++ b/compiler/rustc_trait_selection/src/opaque_types.rs
@@ -334,14 +334,11 @@ impl<'a, 'tcx> InferCtxtExt<'tcx> for InferCtxt<'a, 'tcx> {
         );
 
         // (B) We can also generate outlives bounds that must be enforced.
-        let required_region_bounds = required_region_bounds(tcx, opaque_type, bounds);
-        if !required_region_bounds.is_empty() {
-            for required_region in required_region_bounds {
-                concrete_ty.visit_with(&mut ConstrainOpaqueTypeRegionVisitor {
-                    tcx,
-                    op: |r| self.sub_regions(infer::CallReturn(span), required_region, r),
-                });
-            }
+        for required_region in required_region_bounds(tcx, opaque_type, bounds) {
+            concrete_ty.visit_with(&mut ConstrainOpaqueTypeRegionVisitor {
+                tcx,
+                op: |r| self.sub_regions(infer::CallReturn(span), required_region, r),
+            });
         }
     }