Type Definition rustc_middle::ty::PolyRegionOutlivesPredicate

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

Trait Implementations

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

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