Trait rustc_infer::infer::canonical::ir::inherent::Region

source ·
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§

source

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

source

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

source

fn new_static(interner: I) -> Self

Provided Methods§

source

fn is_bound(self) -> bool

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

source§

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

source§

fn new_bound( interner: TyCtxt<'tcx>, debruijn: DebruijnIndex, var: BoundRegion, ) -> Region<'tcx>

source§

fn new_anon_bound( tcx: TyCtxt<'tcx>, debruijn: DebruijnIndex, var: BoundVar, ) -> Region<'tcx>

source§

fn new_static(tcx: TyCtxt<'tcx>) -> Region<'tcx>

Implementors§