Type Definition rustc_middle::ty::PolyRegionOutlivesPredicate

type PolyRegionOutlivesPredicate<'tcx> = Binder<RegionOutlivesPredicate<'tcx>>;

Trait Implementations

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

pub fn to_predicate(self, tcx: TyCtxt<'tcx>) -> Predicate<'tcx>