[][src]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>

Loading content...

Implementors

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

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 PolyProjectionPredicate<'tcx>[src]

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

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

Loading content...