bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Improve comments in needs_process_obligation.

Browse source 
And a couple of other places.
This commit is contained in:
Nicholas Nethercote 2023-03-03 09:23:07 +11:00
parent ca1bc7f1f6
commit 3bcea5f979
2 changed files with 34 additions and 24 deletions
Download patch file Download diff file Expand all files Collapse all files

2
compiler/rustc_data_structures/src/obligation_forest/mod.rs
View file

@ -426,6 +426,7 @@ impl<O: ForestObligation> ObligationForest<O> {
// nodes. Therefore we use a `while` loop.
let mut index = 0;
while let Some(node) = self.nodes.get_mut(index) {
// This test is extremely hot.
if node.state.get() != NodeState::Pending
|| !processor.needs_process_obligation(&node.obligation)
{
@ -439,6 +440,7 @@ impl<O: ForestObligation> ObligationForest<O> {
// out of sync with `nodes`. It's not very common, but it does
// happen, and code in `compress` has to allow for it.
// This code is much less hot.
match processor.process_obligation(&mut node.obligation) {
ProcessResult::Unchanged => {
// No change in state.