Trait rustc::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 PolyTraitRef<'tcx>
impl<'tcx> AsPredicate<'tcx> for PolyEquatePredicate<'tcx>
impl<'tcx> AsPredicate<'tcx> for PolyRegionOutlivesPredicate
impl<'tcx> AsPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>
impl<'tcx> AsPredicate<'tcx> for PolyProjectionPredicate<'tcx>