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