From 31a0d6721b540f5613b1ac1ec2568f245fd00b06 Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Fri, 3 Mar 2023 12:41:10 -0300
Subject: [PATCH] Implement explicit_predicates_of for impl side RPITITs assoc
 type

---
 compiler/rustc_ty_utils/src/assoc.rs | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/compiler/rustc_ty_utils/src/assoc.rs b/compiler/rustc_ty_utils/src/assoc.rs
index efc353c5c73..b08c7c365da 100644
--- a/compiler/rustc_ty_utils/src/assoc.rs
+++ b/compiler/rustc_ty_utils/src/assoc.rs
@@ -382,5 +382,11 @@ fn impl_associated_item_for_impl_trait_in_trait(
         }
     });
 
+    // There are no predicates for the synthesized associated type.
+    impl_assoc_ty.explicit_predicates_of(ty::GenericPredicates {
+        parent: Some(impl_def_id),
+        predicates: &[],
+    });
+
     local_def_id
 }