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

pub trait ForestObligation: Clone + Debug {
    type Predicate: Clone + Hash + Eq + Debug;
    fn as_predicate(&self) -> &Self::Predicate;
}
Unstable (rustc_private)

Associated Types

type Predicate: Clone + Hash + Eq + Debug

Unstable (rustc_private)

Required Methods

fn as_predicate(&self) -> &Self::Predicate

Unstable (rustc_private)

Implementors