Trait RegionName 

pub trait RegionName<I>:
    Copy
    + Hash
    + PartialEq
    + Eq
    + Debug
where
    I: Interner,
{
    // Required methods
    fn get_name(&self, interner: I) -> Option<<I as Interner>::Symbol>;
    fn is_named(&self, interner: I) -> bool;
}

Required Methods

fn get_name(&self, interner: I) -> Option<<I as Interner>::Symbol>

fn is_named(&self, interner: I) -> bool

Dyn Compatibility

This trait is not dyn compatible.

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

Implementations on Foreign Types

impl<'tcx> RegionName<TyCtxt<'tcx>> for EarlyParamRegion

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

Does this early bound region have a name? Early bound regions normally always have names except when using anonymous lifetimes ('_).

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

impl<'tcx> RegionName<TyCtxt<'tcx>> for LateParamRegionKind

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

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

Implementors