Struct rustc_ap_rustc_data_structures::obligation_forest::Outcome[−][src]

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>[src]

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

Formats the value using the given formatter. Read more

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

type Error = Error<O, E>

type Obligation = O

fn new() -> Self[src]

fn mark_not_stalled(&mut self)[src]

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

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

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

Auto Trait Implementations

impl<O, E> RefUnwindSafe for Outcome<O, E> where
    E: RefUnwindSafe,
    O: RefUnwindSafe, 

impl<O, E> Send for Outcome<O, E> where
    E: Send,
    O: Send, 

impl<O, E> Sync for Outcome<O, E> where
    E: Sync,
    O: Sync, 

impl<O, E> Unpin for Outcome<O, E> where
    E: Unpin,
    O: Unpin, 

impl<O, E> UnwindSafe for Outcome<O, E> where
    E: UnwindSafe,
    O: UnwindSafe, 

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src]

pub fn type_id(&self) -> TypeId[src]

Gets the TypeId of self. Read more

impl<T> Borrow<T> for T where
    T: ?Sized, [src]

pub fn borrow(&self) -> &T[src]

Immutably borrows from an owned value. Read more

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src]

pub fn borrow_mut(&mut self) -> &mut T[src]

Mutably borrows from an owned value. Read more

impl<T> From<T> for T[src]

pub fn from(t: T) -> T[src]

Performs the conversion.

impl<T> Instrument for T[src]

fn instrument(self, span: Span) -> Instrumented<Self>[src]

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more

fn in_current_span(self) -> Instrumented<Self>[src]

Instruments this type with the current Span, returning an Instrumented wrapper. Read more

impl<T, U> Into<U> for T where
    U: From<T>, [src]

pub fn into(self) -> U[src]

Performs the conversion.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src]

type Error = Infallible

The type returned in the event of a conversion error.

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

Performs the conversion.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

Performs the conversion.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, 

pub fn vzip(self) -> V

impl<'a, T> Captures<'a> for T where
    T: ?Sized, [src]

impl<T> Erased for T[src]