The state of one node in some tree within the forest. This represents the
current state of processing for the obligation (of type
with this node.
Error state transitions are as follows.
(Pre-creation) | | register_obligation_at() (called by process_obligations() and v from outside the crate) Pending | | process_obligations() v Success | ^ | | mark_successes() | v | Waiting | | process_cycles() v Done | | compress() v (Removed)
Error state can be introduced in several places, via
ObligationForest methods, nodes should be either
This obligation has not yet been selected successfully. Cannot have subobligations.
This obligation was selected successfully, but may or may not have subobligations.
This obligation was selected successfully, but it has a pending subobligation.
This obligation, along with its subobligations, are complete, and will be removed in the next collection.
This obligation was resolved to an error. It will be removed by the next compression step.
impl StructuralEq for NodeState[src]
impl StructuralPartialEq for NodeState[src]
Auto Trait Implementations
impl RefUnwindSafe for NodeState
impl UnwindSafe for NodeState
fn borrow_mut(&mut self) -> &mut Tⓘ[src]
type Owned = T
The resulting type after obtaining ownership.
fn clone_into(&self, target: &mut T)[src]
type Error = Infallible
The type returned in the event of a conversion error.