Type Definition rustc_middle::ty::PolyTypeOutlivesPredicate

type PolyTypeOutlivesPredicate<'tcx> = Binder<TypeOutlivesPredicate<'tcx>>;

Trait Implementations

impl<'tcx> ToPredicate<'tcx> for PolyTypeOutlivesPredicate<'tcx>

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