Type Alias TermKind

pub type TermKind<'tcx> = TermKind<TyCtxt<'tcx>>;

Aliased Type

pub enum TermKind<'tcx> {
    Ty(Ty<'tcx>),
    Const(Const<'tcx>),
}

Variants

Ty(Ty<'tcx>)

Const(Const<'tcx>)

Trait Implementations

impl<'tcx> TermKindPackExt<'tcx> for TermKind<'tcx>

fn pack(self) -> Term<'tcx>

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.