Type Alias RegionDbVar 

pub type RegionDbVar = DeBruijnVar<RegionId>;

Aliased Type

pub enum RegionDbVar {
    Bound(DeBruijnId, RegionId),
    Free(RegionId),
}

Variants

Bound(DeBruijnId, RegionId)

A variable attached to the nth binder, counting from the innermost.

Free(RegionId)

A variable attached to the outermost binder (the one on the item). This is not used within Charon itself, instead ewe insert it at the end if --unbind-item-vars is set.

Trait Implementations

impl<C: AstFormatter> FmtWithCtx<C> for RegionDbVar

fn fmt_with_ctx(&self, ctx: &C, f: &mut Formatter<'_>) -> Result

fn with_ctx<'a>(&'a self, ctx: &'a C) -> WithCtx<'a, C, Self>

Returns a struct that implements Display. This allows the following:

fn to_string_with_ctx(&self, ctx: &C) -> String

impl TryFrom<Region> for RegionDbVar

type Error = ()

The type returned in the event of a conversion error.

fn try_from(e: Region) -> Result<Self, Self::Error>

Performs the conversion.