bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Use new helper inside probe

Browse source
This commit is contained in:
Wilco Kusee 2023-02-03 10:04:15 +01:00
parent de50a86a12
commit f29000eba9
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
compiler/rustc_trait_selection/src/solve/project_goals.rs
View file

@ -587,12 +587,8 @@ impl<'tcx> assembly::GoalKind<'tcx> for ProjectionPredicate<'tcx> {
goal: Goal<'tcx, Self>, goal: Goal<'tcx, Self>,
) -> QueryResult<'tcx> { ) -> QueryResult<'tcx> {
let discriminant = goal.predicate.self_ty().discriminant_ty(ecx.tcx()); let discriminant = goal.predicate.self_ty().discriminant_ty(ecx.tcx());
let nested_goals = ecx.infcx.eq( ecx.infcx
goal.param_env, .probe(|_| ecx.eq_term_and_make_canonical_response(goal, Certainty::Yes, discriminant))
goal.predicate.term.ty().expect("expected ty goal"),
discriminant,
)?;
ecx.evaluate_all_and_make_canonical_response(nested_goals)
} }
} }