diff options
| author | Ralf Jung <post@ralfj.de> | 2024-12-04 07:44:16 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-12-04 07:44:16 +0000 |
| commit | 86d6dc008ec2473368a044e21af43f4495dc408f (patch) | |
| tree | 7a11f980ad18ccd73f0fd511abb06740908dddc7 /compiler/rustc_data_structures/src | |
| parent | aaa4e75f7639e006af5747dd35b8b0ef19df2cf7 (diff) | |
| parent | 76c27a98495e5d61b32ad285e5d1a6533678cf38 (diff) | |
| download | rust-86d6dc008ec2473368a044e21af43f4495dc408f.tar.gz rust-86d6dc008ec2473368a044e21af43f4495dc408f.zip | |
Merge pull request #4070 from rust-lang/rustup-2024-12-04
Automatic Rustup
Diffstat (limited to 'compiler/rustc_data_structures/src')
| -rw-r--r-- | compiler/rustc_data_structures/src/obligation_forest/mod.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/compiler/rustc_data_structures/src/obligation_forest/mod.rs b/compiler/rustc_data_structures/src/obligation_forest/mod.rs index 34a2464972a..78d69a66edc 100644 --- a/compiler/rustc_data_structures/src/obligation_forest/mod.rs +++ b/compiler/rustc_data_structures/src/obligation_forest/mod.rs @@ -415,6 +415,10 @@ impl<O: ForestObligation> ObligationForest<O> { .collect() } + pub fn has_pending_obligations(&self) -> bool { + self.nodes.iter().any(|node| node.state.get() == NodeState::Pending) + } + fn insert_into_error_cache(&mut self, index: usize) { let node = &self.nodes[index]; self.error_cache |