Trait rustc_data_structures::obligation_forest::ObligationProcessor [−] [src]

pub trait ObligationProcessor {
    type Obligation: ForestObligation;
    type Error: Debug;
    fn process_obligation(&mut self, obligation: &mut Self::Obligation) -> Result<Option<Vec<Self::Obligation>>, Self::Error>;
    fn process_backedge<'c, I>(&mut self, cycle: I, _marker: PhantomData<&'c Self::Obligation>) where I: Clone + Iterator<Item=&'c Self::Obligation>;
}
Unstable (rustc_private)

Associated Types

type Obligation: ForestObligation

Unstable (rustc_private)

type Error: Debug

Unstable (rustc_private)

Required Methods

fn process_obligation(&mut self, obligation: &mut Self::Obligation) -> Result<Option<Vec<Self::Obligation>>, Self::Error>

Unstable (rustc_private)

fn process_backedge<'c, I>(&mut self, cycle: I, _marker: PhantomData<&'c Self::Obligation>) where I: Clone + Iterator<Item=&'c Self::Obligation>

Unstable (rustc_private)

Implementors