Trait Region

pub trait Region<I>:
    Copy
    + Debug
    + Hash
    + Eq
    + Into<<I as Interner>::GenericArg>
    + IntoKind<Kind = RegionKind<I>>
    + Flags
    + Relate<I>
where
    I: Interner<Region = Self>,
{
    // Required methods
    fn new_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: <I as Interner>::BoundRegion,
    ) -> Self;
    fn new_anon_bound(
        interner: I,
        debruijn: DebruijnIndex,
        var: BoundVar,
    ) -> Self;
    fn new_static(interner: I) -> Self;

    // Provided method
    fn is_bound(self) -> bool { ... }
}

Required Methods

fn new_bound( interner: I, debruijn: DebruijnIndex, var: <I as Interner>::BoundRegion, ) -> Self

fn new_anon_bound(interner: I, debruijn: DebruijnIndex, var: BoundVar) -> Self

fn new_static(interner: I) -> Self

Provided Methods

fn is_bound(self) -> bool

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<'tcx> Region<TyCtxt<'tcx>> for Region<'tcx>