Trait RegionUtilitiesExt 

pub trait RegionUtilitiesExt<'tcx> {
    // Required methods
    fn get_name(self, tcx: TyCtxt<'tcx>) -> Option<Symbol>;
    fn get_name_or_anon(self, tcx: TyCtxt<'tcx>) -> Symbol;
    fn is_named(self, tcx: TyCtxt<'tcx>) -> bool;
    fn is_error(self) -> bool;
    fn is_static(self) -> bool;
    fn is_erased(self) -> bool;
    fn is_placeholder(self) -> bool;
    fn bound_at_or_above_binder(self, index: DebruijnIndex) -> bool;
    fn is_param(self) -> bool;
    fn is_free(self) -> bool;
    fn is_var(self) -> bool;
    fn as_var(self) -> RegionVid;
    fn opt_param_def_id(
        self,
        tcx: TyCtxt<'tcx>,
        binding_item: DefId,
    ) -> Option<DefId>;
}

Region utilities

Required Methods

fn get_name(self, tcx: TyCtxt<'tcx>) -> Option<Symbol>

fn get_name_or_anon(self, tcx: TyCtxt<'tcx>) -> Symbol

fn is_named(self, tcx: TyCtxt<'tcx>) -> bool

Is this region named by the user?

fn is_error(self) -> bool

fn is_static(self) -> bool

fn is_erased(self) -> bool

fn is_placeholder(self) -> bool

fn bound_at_or_above_binder(self, index: DebruijnIndex) -> bool

fn is_param(self) -> bool

True for free regions other than 'static.

fn is_free(self) -> bool

True for free region in the current context.

This is the case for 'static and param regions.

fn is_var(self) -> bool

fn as_var(self) -> RegionVid

fn opt_param_def_id( self, tcx: TyCtxt<'tcx>, binding_item: DefId, ) -> Option<DefId>

Given some item binding_item, check if this region is a generic parameter introduced by it or one of the parent generics. Returns the DefId of the parameter definition if so.

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> RegionUtilitiesExt<'tcx> for Region<'tcx>