Simplify a bunch of trait ref obligation creations

This commit is contained in:
Oli Scherer 2022-11-18 21:29:26 +00:00 committed by Santiago Pastorino
parent 2ad5e486f6
commit 53f78ae0f3

View file

@ -698,9 +698,8 @@ fn matches_preds<'tcx>(
cx.tcx,
ObligationCause::dummy(),
cx.param_env,
cx.tcx.mk_predicate(Binder::bind_with_vars(
cx.tcx.mk_predicate(Binder::dummy(
PredicateKind::Projection(p.with_self_ty(cx.tcx, ty)),
List::empty(),
)),
)),
ExistentialPredicate::AutoTrait(p) => infcx