Enum TyKind

pub enum TyKind<'fhir> {
    BaseTy(BaseTy<'fhir>),
    Indexed(BaseTy<'fhir>, Expr<'fhir>),
    Exists(&'fhir [RefineParam<'fhir>], &'fhir Ty<'fhir>),
    Constr(Expr<'fhir>, &'fhir Ty<'fhir>),
    StrgRef(Lifetime, &'fhir PathExpr<'fhir>, &'fhir Ty<'fhir>),
    Ref(Lifetime, MutTy<'fhir>),
    BareFn(&'fhir BareFnTy<'fhir>),
    Tuple(&'fhir [Ty<'fhir>]),
    Array(&'fhir Ty<'fhir>, ConstArg),
    RawPtr(&'fhir Ty<'fhir>, Mutability),
    OpaqueDef(&'fhir OpaqueTy<'fhir>),
    TraitObject(&'fhir [PolyTraitRef<'fhir>], Lifetime, TraitObjectSyntax),
    Never,
    Infer,
}

Variants

BaseTy(BaseTy<'fhir>)

A type that parses as a BaseTy but was written without refinements. Most types in this category are base types and will be converted into an existential, e.g., i32 is converted into ∃v:int. i32[v]. However, this category also contains generic variables of kind type. We cannot distinguish these syntactially so we resolve them later in the analysis.

Indexed(BaseTy<'fhir>, Expr<'fhir>)

Exists(&'fhir [RefineParam<'fhir>], &'fhir Ty<'fhir>)

Constr(Expr<'fhir>, &'fhir Ty<'fhir>)

Constrained types {T | p} are like existentials but without binders, and are useful for specifying constraints on indexed values e.g. {i32[@a] | 0 <= a}

StrgRef(Lifetime, &'fhir PathExpr<'fhir>, &'fhir Ty<'fhir>)

Ref(Lifetime, MutTy<'fhir>)

BareFn(&'fhir BareFnTy<'fhir>)

Tuple(&'fhir [Ty<'fhir>])

Array(&'fhir Ty<'fhir>, ConstArg)

RawPtr(&'fhir Ty<'fhir>, Mutability)

OpaqueDef(&'fhir OpaqueTy<'fhir>)

TraitObject(&'fhir [PolyTraitRef<'fhir>], Lifetime, TraitObjectSyntax)

Never

Infer

Trait Implementations

impl<'fhir> Clone for TyKind<'fhir>

fn clone(&self) -> TyKind<'fhir>

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'fhir> Copy for TyKind<'fhir>