Trait rustc_middle::ty::ToPredicate[−][src]

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

Required methods

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

Loading content...

Implementors

impl<'tcx> ToPredicate<'tcx> for PredicateKind<'tcx>[src]

impl<'tcx> ToPredicate<'tcx> for ConstnessAnd<TraitRef<'tcx>>[src]

impl<'tcx> ToPredicate<'tcx> for ConstnessAnd<PolyTraitRef<'tcx>>[src]

impl<'tcx> ToPredicate<'tcx> for ConstnessAnd<PolyTraitPredicate<'tcx>>[src]

impl<'tcx> ToPredicate<'tcx> for Binder<PredicateKind<'tcx>>[src]

impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>[src]

impl<'tcx> ToPredicate<'tcx> for PolyRegionOutlivesPredicate<'tcx>[src]

impl<'tcx> ToPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>[src]

Loading content...