Type Definition rustc::ty::PolyEquatePredicate
[−]
[src]
type PolyEquatePredicate<'tcx> = Binder<EquatePredicate<'tcx>>;
🔬 This is a nightly-only experimental API. (rustc_private)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?
Trait Implementations
impl<'tcx> ToPredicate<'tcx> for PolyEquatePredicate<'tcx>[src]
fn to_predicate(&self) -> Predicate<'tcx>[src]
🔬 This is a nightly-only experimental API. (rustc_private)
this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?