Trait rustc::middle::ty::RegionEscapeUnstable
[-] [+]
[src]
pub trait RegionEscape { fn has_regions_escaping_depth(&self, depth: u32) -> bool; fn has_escaping_regions(&self) -> bool { ... } }
Required Methods
fn has_regions_escaping_depth(&self, depth: u32) -> bool
Provided Methods
fn has_escaping_regions(&self) -> bool
Implementors
impl<'tcx> RegionEscape for Ty<'tcx>
impl<'tcx> RegionEscape for Substs<'tcx>
impl<'tcx, T: RegionEscape> RegionEscape for VecPerParamSpace<T>
impl<'tcx> RegionEscape for TypeScheme<'tcx>
impl RegionEscape for Region
impl<'tcx> RegionEscape for GenericPredicates<'tcx>
impl<'tcx> RegionEscape for Predicate<'tcx>
impl<'tcx, P: RegionEscape> RegionEscape for Obligation<'tcx, P>
impl<'tcx> RegionEscape for TraitRef<'tcx>
impl<'tcx> RegionEscape for RegionSubsts
impl<'tcx, T: RegionEscape> RegionEscape for Binder<T>
impl<'tcx> RegionEscape for EquatePredicate<'tcx>
impl<'tcx> RegionEscape for TraitPredicate<'tcx>
impl<T: RegionEscape, U: RegionEscape> RegionEscape for OutlivesPredicate<T, U>
impl<'tcx> RegionEscape for ProjectionPredicate<'tcx>
impl<'tcx> RegionEscape for ProjectionTy<'tcx>