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".

Implementors

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

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