Type Alias TermKind

Source
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§

Source§

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

Source§

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.