Trait rustc_type_ir::inherent::Region

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

Required Methods§

source

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

source

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

source

fn new_static(interner: I) -> Self

Object Safety§

This trait is not object safe.

Implementors§