Consider outlives assumptions when proving auto traits for coroutine interiors

1 files changed, 2 insertions, 0 deletions

diff --git a/compiler/rustc_traits/src/coroutine_witnesses.rs b/compiler/rustc_traits/src/coroutine_witnesses.rs
index d79777437e6..9e487e380a9 100644
--- a/compiler/rustc_traits/src/coroutine_witnesses.rs
+++ b/compiler/rustc_traits/src/coroutine_witnesses.rs
@@ -66,12 +66,14 @@ fn compute_assumptions<'tcx>(
         let _errors = ocx.select_all_or_error();
 
         let region_obligations = infcx.take_registered_region_obligations();
+        let region_assumptions = infcx.take_registered_region_assumptions();
         let region_constraints = infcx.take_and_reset_region_constraints();
 
         let outlives = make_query_region_constraints(
             tcx,
             region_obligations,
             &region_constraints,
+            region_assumptions,
         )
         .outlives
         .fold_with(&mut OpportunisticRegionResolver::new(&infcx));