user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

revision -> iteration for added_goals_evaluation

Browse source
This commit is contained in:
lcnr 2023-08-14 11:49:20 +02:00
parent 01f3da6b24
commit 006d599435
1 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
compiler/rustc_middle/src/traits/solve/inspect/format.rs
View file

@ -133,10 +133,10 @@ impl<'a, 'b> ProofTreeFormatter<'a, 'b> {
) -> std::fmt::Result {
writeln!(self.f, "TRY_EVALUATE_ADDED_GOALS: {:?}", added_goals_evaluation.result)?;
for (n, revision) in added_goals_evaluation.evaluations.iter().enumerate() {
writeln!(self.f, "REVISION {n}")?;
for (n, iterations) in added_goals_evaluation.evaluations.iter().enumerate() {
writeln!(self.f, "ITERATION {n}")?;
self.nested(|this| {
for goal_evaluation in revision {
for goal_evaluation in iterations {
this.format_goal_evaluation(goal_evaluation)?;
}
Ok(())