Trait rustc::ty::ToPredicate

pub trait ToPredicate<'tcx> {
    fn to_predicate(&self) -> Predicate<'tcx>;
}

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

Required Methods

fn to_predicate(&self) -> Predicate<'tcx>

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

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>