Auto merge of #115441 - catandcoder:master, r=workingjubilee
fix the repetitive word
This commit is contained in:
commit
33e796bbe1
@ -537,7 +537,7 @@ pub(super) fn try_evaluate_added_goals(&mut self) -> Result<Certainty, NoSolutio
|
||||
|
||||
/// Iterate over all added goals: returning `Ok(Some(_))` in case we can stop rerunning.
|
||||
///
|
||||
/// Goals for the next step get directly added the the nested goals of the `EvalCtxt`.
|
||||
/// Goals for the next step get directly added to the nested goals of the `EvalCtxt`.
|
||||
fn evaluate_added_goals_step(&mut self) -> Result<Option<Certainty>, NoSolution> {
|
||||
let tcx = self.tcx();
|
||||
let mut goals = core::mem::replace(&mut self.nested_goals, NestedGoals::new());
|
||||
|
Loading…
Reference in New Issue
Block a user