bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Filter out RPITITs in object_safety_violations_for_trait

Browse source
This commit is contained in:
Santiago Pastorino 2023-03-07 13:44:14 -03:00
parent b2f3198608
commit fa421ec454
No known key found for this signature in database
GPG key ID: 8131A24E0C79EFAF
4 changed files with 33 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
compiler/rustc_trait_selection/src/traits/object_safety.rs
View file

@ -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)