Rename a variable.
Because the meaning of this `index` variable is quite different to all the other `index` variables in this file.
This commit is contained in:
parent
27c7c23840
commit
aa10abb211
1 changed files with 2 additions and 2 deletions
|
|
@ -507,8 +507,8 @@ impl<O: ForestObligation> ObligationForest<O> {
|
|||
let node = &self.nodes[index];
|
||||
match node.state.get() {
|
||||
NodeState::OnDfsStack => {
|
||||
let index = stack.iter().rposition(|&n| n == index).unwrap();
|
||||
processor.process_backedge(stack[index..].iter().map(GetObligation(&self.nodes)),
|
||||
let rpos = stack.iter().rposition(|&n| n == index).unwrap();
|
||||
processor.process_backedge(stack[rpos..].iter().map(GetObligation(&self.nodes)),
|
||||
PhantomData);
|
||||
}
|
||||
NodeState::Success => {
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue