[−][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, U> Into for T where
U: From<T>,
[src]
U: From<T>,
impl<T> From for T
[src]
impl<T, U> TryFrom for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = !
🔬 This is a nightly-only experimental API. (
try_from
)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> Borrow for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> BorrowMut 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, U> TryInto for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
🔬 This is a nightly-only experimental API. (
try_from
)The type returned in the event of a conversion error.