bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Simplify discriminant_kind goal using new helper function

Browse source
This commit is contained in:
Wilco Kusee 2023-02-01 17:13:57 +01:00
parent 5fd4f5bceb
commit de50a86a12
1 changed files with 7 additions and 14 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -586,20 +586,13 @@ impl<'tcx> assembly::GoalKind<'tcx> for ProjectionPredicate<'tcx> {
ecx: &mut EvalCtxt<'_, 'tcx>,
goal: Goal<'tcx, Self>,
) -> QueryResult<'tcx> {
let self_ty = goal.predicate.self_ty();
let tcx = ecx.tcx();
let term = self_ty.discriminant_ty(tcx).into();
Self::consider_assumption(
ecx,
goal,
ty::Binder::dummy(ty::ProjectionPredicate {
projection_ty: tcx.mk_alias_ty(goal.predicate.def_id(), [self_ty]),
term,
})
.to_predicate(tcx),
)
let discriminant = goal.predicate.self_ty().discriminant_ty(ecx.tcx());
let nested_goals = ecx.infcx.eq(
goal.param_env,
goal.predicate.term.ty().expect("expected ty goal"),
discriminant,
)?;
ecx.evaluate_all_and_make_canonical_response(nested_goals)
}
}