[][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;
}
⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Associated Types

type Predicate: Clone + Hash + Eq + Debug

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Loading content...

Required methods

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

⚙️ This is an internal compiler API. (rustc_private)

This crate is being loaded from the sysroot, a permanently unstable location for private compiler dependencies. It is not intended for general use. Prefer using a public version of this crate from crates.io via Cargo.toml.

Loading content...

Implementors

Loading content...