1
Fork 0

remove unused field

This commit is contained in:
lcnr 2024-10-22 08:27:11 +02:00
parent 25365aeacf
commit d6ce2bd1de
4 changed files with 13 additions and 24 deletions

View file

@ -344,7 +344,7 @@ impl<'a, 'tcx> InspectGoal<'a, 'tcx> {
};
let mut nested_goals = vec![];
self.candidates_recur(&mut candidates, &mut nested_goals, &last_eval_step.evaluation);
self.candidates_recur(&mut candidates, &mut nested_goals, &last_eval_step);
candidates
}