Type Alias BoundVariableKind 

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

Aliased Type

pub enum BoundVariableKind<'tcx> {
    Ty(BoundTyKind<TyCtxt<'tcx>>),
    Region(BoundRegionKind<TyCtxt<'tcx>>),
    Const,
}

Variants

Ty(BoundTyKind<TyCtxt<'tcx>>)

Region(BoundRegionKind<TyCtxt<'tcx>>)

Const

Trait Implementations

impl<'tcx> Erasable for BoundVariableKind<'tcx>

type Storage = [u8; 12]

Storage type to used for erased values of this type. Should be [u8; N], where N is equal to size_of::<Self>.

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.