Trait rustc::ty::ToPredicate

pub trait ToPredicate<'tcx> {
    fn to_predicate(&self) -> Predicate<'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?

Required Methods

fn to_predicate(&self) -> Predicate<'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?

Implementors

• impl<'tcx> ToPredicate<'tcx> for TraitRef<'tcx>
• impl<'tcx> ToPredicate<'tcx> for PolyTraitRef<'tcx>
• impl<'tcx> ToPredicate<'tcx> for PolyEquatePredicate<'tcx>
• impl<'tcx> ToPredicate<'tcx> for PolyRegionOutlivesPredicate<'tcx>
• impl<'tcx> ToPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>
• impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>