# Trait rustc_middle::ty::ToPredicate

source ·

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

## Required Methods§

source

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

## Implementors§

source§

### impl<'tcx> ToPredicate<'tcx> for Clause<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx> for NormalizesTo<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx> for OutlivesPredicate<Ty<'tcx>, Region<'tcx>>

source§

### impl<'tcx> ToPredicate<'tcx> for ProjectionPredicate<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx> for TraitPredicate<'tcx>

source§

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

source§

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

source§

### impl<'tcx> ToPredicate<'tcx> for Binder<'tcx, ClauseKind<'tcx>>

source§

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

source§

### impl<'tcx> ToPredicate<'tcx> for ClauseKind<'tcx>

source§

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

source§

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

source§

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

source§

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

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for ProjectionPredicate<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for TraitPredicate<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for TraitRef<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for Binder<'tcx, TraitRef<'tcx>>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for Binder<'tcx, ClauseKind<'tcx>>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for ClauseKind<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicate<'tcx>

source§

### impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyTraitPredicate<'tcx>

source§

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

source§

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

source§

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