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 Predicate<'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 PolyTraitPredicate<'tcx>

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