Trait rustc_middle::ty::ToPredicate

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

Required Methods

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

Implementors

impl<'tcx> ToPredicate<'tcx, Predicate<'tcx>> for Clause<'tcx>

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

impl<'tcx> ToPredicate<'tcx, Predicate<'tcx>> for Binder<'tcx, TraitRef<'tcx>>

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

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

impl<'tcx> ToPredicate<'tcx, Predicate<'tcx>> for PolyTraitPredicate<'tcx>

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

impl<'tcx> ToPredicate<'tcx, Binder<'tcx, TraitPredicate<'tcx>>> for Binder<'tcx, TraitRef<'tcx>>

impl<'tcx, T> ToPredicate<'tcx, T> for T