[−][src]Struct rustc_data_structures::obligation_forest::Outcome
Fields
completed: Option<Vec<O>>
Obligations that were completely evaluated, including all (transitive) subobligations. Only computed if requested.
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
Auto Trait Implementations
impl<O, E> Send for Outcome<O, E> where
E: Send,
O: Send,
E: Send,
O: Send,
impl<O, E> Sync for Outcome<O, E> where
E: Sync,
O: Sync,
E: Sync,
O: Sync,
Blanket Implementations
impl<T> Erased for T
[src]
impl<T> Send for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Sync for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
ⓘImportant traits for &'_ mut Ifn borrow_mut(&mut self) -> &mut T
[src]
ⓘImportant traits for &'_ mut I
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,