Trait rustc_trans::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 &'tcx TyS<'tcx>
impl<'tcx> RegionEscape for Substs<'tcx>
impl<'tcx, T> RegionEscape for VecPerParamSpace<T> where T: RegionEscape
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 for Obligation<'tcx, P> where P: RegionEscape
impl<'tcx> RegionEscape for TraitRef<'tcx>
impl<'tcx> RegionEscape for RegionSubsts
impl<'tcx, T> RegionEscape for Binder<T> where T: RegionEscape
impl<'tcx> RegionEscape for EquatePredicate<'tcx>
impl<'tcx> RegionEscape for TraitPredicate<'tcx>
impl<T, U> RegionEscape for OutlivesPredicate<T, U> where T: RegionEscape, U: RegionEscape
impl<'tcx> RegionEscape for ProjectionPredicate<'tcx>
impl<'tcx> RegionEscape for ProjectionTy<'tcx>