We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 8cca42a commit 8dadd54Copy full SHA for 8dadd54
compiler/rustc_trait_selection/src/traits/object_safety.rs
@@ -646,11 +646,9 @@ fn object_ty_for_trait<'tcx>(
646
debug!(?obligation);
647
let pred = obligation.predicate.to_opt_poly_projection_pred()?;
648
Some(pred.map_bound(|p| {
649
- ty::ExistentialPredicate::Projection(ty::ExistentialProjection {
650
- def_id: p.projection_ty.def_id,
651
- substs: p.projection_ty.substs,
652
- term: p.term,
653
- })
+ ty::ExistentialPredicate::Projection(ty::ExistentialProjection::erase_self_ty(
+ tcx, p,
+ ))
654
}))
655
})
656
.collect();
0 commit comments