Type Alias ListWithCachedTypeInfo

pub type ListWithCachedTypeInfo<T> = RawList<TypeInfo, T>;

A List that additionally stores type information inline to speed up TypeVisitableExt operations.

Aliased Type

struct ListWithCachedTypeInfo<T> {
    skel: ListSkeleton<TypeInfo, T>,
    opaque: OpaqueListContents,
}

Fields

skel: ListSkeleton<TypeInfo, T>

opaque: OpaqueListContents

Implementations

impl<T> ListWithCachedTypeInfo<T>

pub fn flags(&self) -> TypeFlags

pub fn outer_exclusive_binder(&self) -> DebruijnIndex

Trait Implementations

impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> Decodable<D> for &'tcx ListWithCachedTypeInfo<Clause<'tcx>>

fn decode(decoder: &mut D) -> Self

impl<T> EraseType for &ListWithCachedTypeInfo<T>

type Result = [u8; 8]

impl<'tcx, D: TyDecoder<I = TyCtxt<'tcx>>> RefDecodable<'tcx, D> for ListWithCachedTypeInfo<Clause<'tcx>>

fn decode(decoder: &mut D) -> &'tcx 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.