don't explicitly require 'external: 'body

this breaks propagate_type_outlives
rust-lang · Jan 17, 2025 · 417be2c · 417be2c
1 parent 5cb2d9d
commit 417be2c
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/compiler/rustc_borrowck/src/type_check/opaque_types.rs b/compiler/rustc_borrowck/src/type_check/opaque_types.rs
@@ -73,10 +73,6 @@ pub(super) fn force_regions_to_existential_externals<'tcx>(
                     ConstraintCategory::OpaqueType,
                     typeck.constraints,
                 );
-                constraint_conversion.convert(
-                    ty::OutlivesPredicate(external_reg.into(), fr_fn_body),
-                    ConstraintCategory::OpaqueType,
-                );
                 constraint_conversion.convert(
                     ty::OutlivesPredicate(external_reg.into(), r),
                     ConstraintCategory::OpaqueType,