1
Fork 0

Add candidates for DiscriminantKind builtin

This commit is contained in:
Wilco Kusee 2023-01-27 20:45:03 +01:00
parent 11d96b5930
commit 5fd4f5bceb
3 changed files with 36 additions and 0 deletions

View file

@ -439,6 +439,14 @@ impl<'tcx> assembly::GoalKind<'tcx> for TraitPredicate<'tcx> {
responses
}
fn consider_builtin_discriminant_kind_candidate(
ecx: &mut EvalCtxt<'_, 'tcx>,
_goal: Goal<'tcx, Self>,
) -> QueryResult<'tcx> {
// `DiscriminantKind` is automatically implemented for every type.
ecx.make_canonical_response(Certainty::Yes)
}
}
impl<'tcx> EvalCtxt<'_, 'tcx> {