diff options
| author | GnomedDev <david2005thomas@gmail.com> | 2024-10-09 01:02:55 +0100 |
|---|---|---|
| committer | GnomedDev <david2005thomas@gmail.com> | 2024-10-12 15:17:08 +0100 |
| commit | 7ec06b0d1d08cbcc6ed2f7e6ae87fe18056f69ef (patch) | |
| tree | 84de21bf35650b6cadd11779c13bdee83e238afb /compiler/rustc_data_structures/src | |
| parent | 1ac72b94bc5e8536e61232125b99dd052ac74b38 (diff) | |
| download | rust-7ec06b0d1d08cbcc6ed2f7e6ae87fe18056f69ef.tar.gz rust-7ec06b0d1d08cbcc6ed2f7e6ae87fe18056f69ef.zip | |
Swap Vec<PredicateObligation> to type alias
Diffstat (limited to 'compiler/rustc_data_structures/src')
| -rw-r--r-- | compiler/rustc_data_structures/src/obligation_forest/mod.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/compiler/rustc_data_structures/src/obligation_forest/mod.rs b/compiler/rustc_data_structures/src/obligation_forest/mod.rs index cfe7dd13e80..aca99b9fab1 100644 --- a/compiler/rustc_data_structures/src/obligation_forest/mod.rs +++ b/compiler/rustc_data_structures/src/obligation_forest/mod.rs @@ -402,9 +402,10 @@ impl<O: ForestObligation> ObligationForest<O> { } /// Returns the set of obligations that are in a pending state. - pub fn map_pending_obligations<P, F>(&self, f: F) -> Vec<P> + pub fn map_pending_obligations<P, F, R>(&self, f: F) -> R where F: Fn(&O) -> P, + R: FromIterator<P>, { self.nodes .iter() |