Implement explicit_predicates_of for impl side RPITITs assoc type

2023-03-03 12:41:10 -03:00
parent e132d293b2
commit 31a0d6721b
1 changed files with 6 additions and 0 deletions
--- 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
 }