Trait rustc::middle::ty::AsPredicateExperimental

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>