Implement inferred_outlives_of for impl side RPITITs assoc type

spastorino · spastorino · commit 34ca2dc0915e · 2023-03-06T14:49:50.000-03:00
diff --git a/compiler/rustc_ty_utils/src/assoc.rs b/compiler/rustc_ty_utils/src/assoc.rs
@@ -388,5 +388,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
`@@ -388,5 +388,8 @@ fn impl_associated_item_for_impl_trait_in_trait(`
`388`	`388`	`predicates: &[],`
`389`	`389`	`});`
`390`	`390`
	`391`	`+ // There are no inferred outlives for the synthesized associated type.`
	`392`	`+ impl_assoc_ty.inferred_outlives_of(&[]);`
	`393`	`+`
`391`	`394`	`local_def_id`
`392`	`395`	`}`