Struct rustc_ap_rustc_data_structures::obligation_forest::Outcome

pub struct Outcome<O, E> {
    pub errors: Vec<Error<O, E>>,
    pub stalled: bool,
}

Fields

errors: Vec<Error<O, E>>

Backtrace of obligations that were found to be in error.

stalled: bool

If true, then we saw no successful obligations, which means there is no point in further iteration. This is based on the assumption that when trait matching returns Error or Unchanged, those results do not affect environmental inference state. (Note that if we invoke process_obligations with no pending obligations, stalled will be true.)

Trait Implementations

impl<O: Debug, E: Debug> Debug for Outcome<O, E>

pub fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<O, E> OutcomeTrait for Outcome<O, E>

type Error = Error<O, E>

type Obligation = O

pub fn new() -> Self

pub fn mark_not_stalled(&mut self)

pub fn is_stalled(&self) -> bool

pub fn record_completed(&mut self, _outcome: &Self::Obligation)

pub fn record_error(&mut self, error: Self::Error)