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

pub struct Outcome<O, E> {
    pub completed: Option<Vec<O>>,
    pub errors: Vec<Error<O, E>>,
    pub stalled: bool,
}

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

`impl<O: Debug, E: Debug> Debug for Outcome<O, E>`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[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]

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

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

`fn borrow(&self) -> &TⓘNotable traits for &'_ mut I impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;`[src]

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

`fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut I impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = ::Item;`[src]

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

`impl<T> Erased for T`[src]

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

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

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

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

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

`type Error = Infallible`

The type returned in the event of a conversion error.

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

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

`type Error = >::Error`

The type returned in the event of a conversion error.

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

Fields

Trait Implementations

`impl<O: Debug, E: Debug> Debug for Outcome<O, E>`[src]

`fn fmt(&self, f: &mut Formatter<'_>) -> Result`[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]

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

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

`fn borrow(&self) -> &TⓘNotable traits for &'_ mut I impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;`[src]

Notable traits for &'_ mut I

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

`fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut I impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;`[src]

Notable traits for &'_ mut I

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

`impl<T> Erased for T`[src]

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

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

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

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

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

`type Error = Infallible`

`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]

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

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

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

`fn vzip(self) -> V`

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

Fields

Trait Implementations

impl<O: Debug, E: Debug> Debug for Outcome<O, E>[src]

fn fmt(&self, f: &mut Formatter<'_>) -> Result[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]

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

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

fn borrow(&self) -> &TⓘNotable traits for &'_ mut Iimpl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;[src]

Notable traits for &'_ mut I

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

fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut Iimpl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;[src]

Notable traits for &'_ mut I

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

impl<T> Erased for T[src]

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

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

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

fn into(self) -> U[src]

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

type Error = Infallible

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]

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

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

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

fn vzip(self) -> V

`impl<O: Debug, E: Debug> Debug for Outcome<O, E>`[src]

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

`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,`

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

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

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

`fn borrow(&self) -> &TⓘNotable traits for &'_ mut I impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;`[src]

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

`fn borrow_mut(&mut self) -> &mut TⓘNotable traits for &'_ mut I impl<'_, I> Iterator for &'_ mut I where I: Iterator + ?Sized, type Item = <I as Iterator>::Item;`[src]

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

`impl<T> Erased for T`[src]

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

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

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

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

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

`type Error = Infallible`

`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]

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

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

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

`fn vzip(self) -> V`