From fa421ec454dfd2a5e8d4c2aa17284e80043a6989 Mon Sep 17 00:00:00 2001 From: Santiago Pastorino Date: Tue, 7 Mar 2023 13:44:14 -0300 Subject: Filter out RPITITs in object_safety_violations_for_trait --- compiler/rustc_trait_selection/src/traits/object_safety.rs | 1 + 1 file changed, 1 insertion(+) (limited to 'compiler/rustc_trait_selection/src') diff --git a/compiler/rustc_trait_selection/src/traits/object_safety.rs b/compiler/rustc_trait_selection/src/traits/object_safety.rs index 4eacb5211f7..4b06304f402 100644 --- a/compiler/rustc_trait_selection/src/traits/object_safety.rs +++ b/compiler/rustc_trait_selection/src/traits/object_safety.rs @@ -157,6 +157,7 @@ fn object_safety_violations_for_trait( .in_definition_order() .filter(|item| item.kind == ty::AssocKind::Type) .filter(|item| !tcx.generics_of(item.def_id).params.is_empty()) + .filter(|item| tcx.opt_rpitit_info(item.def_id).is_none()) .map(|item| { let ident = item.ident(tcx); ObjectSafetyViolation::GAT(ident.name, ident.span) -- cgit 1.4.1-3-g733a5