Trait rustc_typeck::middle::ty::AsPredicateUnstable
[-] [+]
[src]
pub trait AsPredicate<'tcx> { fn as_predicate(&self) -> Predicate<'tcx>; }
Required Methods
fn as_predicate(&self) -> Predicate<'tcx>
Implementors
impl<'tcx> AsPredicate<'tcx> for Rc<TraitRef<'tcx>>
impl<'tcx> AsPredicate<'tcx> for Binder<Rc<TraitRef<'tcx>>>
impl<'tcx> AsPredicate<'tcx> for Binder<EquatePredicate<'tcx>>
impl<'tcx> AsPredicate<'tcx> for Binder<OutlivesPredicate<Region, Region>>
impl<'tcx> AsPredicate<'tcx> for Binder<OutlivesPredicate<&'tcx TyS<'tcx>, Region>>
impl<'tcx> AsPredicate<'tcx> for Binder<ProjectionPredicate<'tcx>>