Trait rustc::ty::ToPredicate
[−]
[src]
pub trait ToPredicate<'tcx> { fn to_predicate(&self) -> Predicate<'tcx>; }
🔬 This is a nightly-only experimental API. (
rustc_private
)Required Methods
fn to_predicate(&self) -> Predicate<'tcx>
🔬 This is a nightly-only experimental API. (
rustc_private
)Implementors
impl<'tcx> ToPredicate<'tcx> for TraitRef<'tcx>
impl<'tcx> ToPredicate<'tcx> for PolyTraitRef<'tcx>
impl<'tcx> ToPredicate<'tcx> for PolyEquatePredicate<'tcx>
impl<'tcx> ToPredicate<'tcx> for PolyRegionOutlivesPredicate<'tcx>
impl<'tcx> ToPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>
impl<'tcx> ToPredicate<'tcx> for PolyProjectionPredicate<'tcx>