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;
}
🔬 This is a nightly-only experimental API. (rustc_private)

Associated Types

🔬 This is a nightly-only experimental API. (rustc_private)

Required Methods

🔬 This is a nightly-only experimental API. (rustc_private)

Implementors