Trait rustc_ap_rustc_data_structures::obligation_forest::OutcomeTrait [−][src]
pub trait OutcomeTrait { type Error; type Obligation; fn new() -> Self; fn mark_not_stalled(&mut self); fn is_stalled(&self) -> bool; fn record_completed(&mut self, outcome: &Self::Obligation); fn record_error(&mut self, error: Self::Error); }
This trait allows us to have two different Outcome types:
- the normal one that does as little as possible
- one for tests that does some additional work and checking