[−][src]Struct rustc_ap_rustc_data_structures::obligation_forest::Outcome
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]
impl<O, E> OutcomeTrait for Outcome<O, E>
[src]
type Error = Error<O, E>
type Obligation = O
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]
Auto Trait Implementations
impl<O, E> RefUnwindSafe for Outcome<O, E> where
E: RefUnwindSafe,
O: RefUnwindSafe,
E: RefUnwindSafe,
O: RefUnwindSafe,
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,
impl<O, E> Unpin for Outcome<O, E> where
E: Unpin,
O: Unpin,
E: Unpin,
O: Unpin,
impl<O, E> UnwindSafe for Outcome<O, E> where
E: UnwindSafe,
O: UnwindSafe,
E: UnwindSafe,
O: UnwindSafe,
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
pub fn borrow_mut(&mut self) -> &mut Tⓘ
[src]
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> Erased for T
[src]
impl<T> From<T> for T
[src]
impl<T> Instrument for T
[src]
pub fn instrument(self, span: Span) -> Instrumented<Self>
[src]
pub fn in_current_span(self) -> Instrumented<Self>
[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.
pub 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.
pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,