Trait rustc_middle::ty::ToPredicate

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

Required methods

fn to_predicate(self, tcx: TyCtxt<'tcx>) -> Predicate<'tcx>

Implementors

impl<'tcx> ToPredicate<'tcx> for PredicateKind<'tcx>

impl<'tcx> ToPredicate<'tcx> for ConstnessAnd<TraitRef<'tcx>>

impl<'tcx> ToPredicate<'tcx> for ConstnessAnd<PolyTraitRef<'tcx>>

impl<'tcx> ToPredicate<'tcx> for ConstnessAnd<PolyTraitPredicate<'tcx>>

impl<'tcx> ToPredicate<'tcx> for Binder<'tcx, PredicateKind<'tcx>>

impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>

impl<'tcx> ToPredicate<'tcx> for PolyRegionOutlivesPredicate<'tcx>

impl<'tcx> ToPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>