Implement inferred_outlives_of for impl side RPITITs assoc type

spastorino · spastorino · commit 11a315a54523 · 2023-03-03T15:57:12.000-03:00
diff --git a/compiler/rustc_ty_utils/src/assoc.rs b/compiler/rustc_ty_utils/src/assoc.rs
@@ -386,5 +386,8 @@ fn impl_associated_item_for_impl_trait_in_trait(
         predicates: &[],
     });
 
+    // There are no inferred outlives for the synthesized associated type.
+    impl_assoc_ty.inferred_outlives_of(&[]);
+
     local_def_id
 }

Original file line number	Diff line number	Diff line change
`@@ -386,5 +386,8 @@ fn impl_associated_item_for_impl_trait_in_trait(`
`386`	`386`	`predicates: &[],`
`387`	`387`	`});`
`388`	`388`
	`389`	`+ // There are no inferred outlives for the synthesized associated type.`
	`390`	`+ impl_assoc_ty.inferred_outlives_of(&[]);`
	`391`	`+`
`389`	`392`	`local_def_id`
`390`	`393`	`}`