[−][src]Trait rustc_ap_rustc_data_structures::obligation_forest::OutcomeTrait

pub trait OutcomeTrait {
    type Error;
    type Obligation;
    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);
}

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

Associated Types

type Error[src]

type Obligation[src]

Loading content...

Required methods

pub fn new() -> Self[src]

pub fn mark_not_stalled(&mut self)[src]

pub fn is_stalled(&self) -> bool[src]

pub fn record_completed(&mut self, outcome: &Self::Obligation)[src]

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

Loading content...

Implementors

impl<O, E> OutcomeTrait for Outcome<O, E>[src]

type Error = Error<O, E>

type Obligation = O

Loading content...