Trait rustc::ty::ToPredicate

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

Unstable (rustc_private)

Required Methods

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

Unstable (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
• impl<'tcx> ToPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>
• impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>