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; }