Struct rustc_data_structures::obligation_forest::ObligationForest [] [src]

pub struct ObligationForest<O: ForestObligation> { /* fields omitted */ }
🔬 This is a nightly-only experimental API. (rustc_private)

Methods

impl<O: ForestObligation> ObligationForest<O>
[src]

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

Return the total number of nodes in the forest that have not yet been fully resolved.

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

🔬 This is a nightly-only experimental API. (rustc_private)

Registers an obligation

This CAN be done in a snapshot

🔬 This is a nightly-only experimental API. (rustc_private)

Convert all remaining obligations to the given error.

This cannot be done during a snapshot.

🔬 This is a nightly-only experimental API. (rustc_private)

Returns the set of obligations that are in a pending state.

🔬 This is a nightly-only experimental API. (rustc_private)

Perform a pass through the obligation list. This must be called in a loop until outcome.stalled is false.

This CANNOT be unrolled (presently, at least).