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

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

Associated Types

`type Predicate: Clone + Hash + Eq + Debug`

Loading content...

Required methods

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

Loading content...

Implementors

Loading content...