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

impl<H, T> RawList<H, T>

pub fn len(&self) -> usize

pub fn as_slice(&self) -> &[T]

pub(super) fn from_arena<'tcx>( arena: &'tcx Arena<'tcx>, header: H, slice: &[T], ) -> &'tcx RawList<H, T>

where T: Copy,

Allocates a list from arena and copies the contents of slice into it.

WARNING: the contents must be unique, such that no list with these contents has been previously created. If not, operations such as eq and hash might give incorrect results.

Panics if T is Drop, or T is zero-sized, or the slice is empty (because the empty list exists statically, and is available via empty()).

pub fn iter(&self) -> <&RawList<H, T> as IntoIterator>::IntoIter

where T: Copy,

impl<T> RawList<TypeInfo, T>

pub fn empty<'a>() -> &'a RawList<TypeInfo, T>

Returns a reference to the (per header unique, static) empty list.

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

impl<H, T> Aligned for RawList<H, T>

const ALIGN: Alignment = _

Alignment of Self.

impl<H, T> AsRef<[T]> for RawList<H, T>

fn as_ref(&self) -> &[T]

Converts this type into a shared reference of the (usually inferred) input type.

impl<H, T: Debug> Debug for RawList<H, T>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<H, T> Deref for RawList<H, T>

type Target = [T]

The resulting type after dereferencing.

fn deref(&self) -> &[T]

Dereferences the value.

impl<H, S: Encoder, T: Encodable<S>> Encodable<S> for RawList<H, T>

fn encode(&self, s: &mut S)

impl<Hdr, T> Hash for RawList<Hdr, T>

fn hash<H: Hasher>(&self, s: &mut H)

Feeds this value into the given Hasher.

impl<H, T> Ord for RawList<H, T>

where T: Ord,

fn cmp(&self, other: &RawList<H, T>) -> Ordering

This method returns an Ordering between self and other.

impl<H, T: PartialEq> PartialEq for RawList<H, T>

fn eq(&self, other: &RawList<H, T>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<H, T> PartialOrd for RawList<H, T>

where T: PartialOrd,

fn partial_cmp(&self, other: &RawList<H, T>) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl<H: DynSync, T: DynSync> DynSync for RawList<H, T>

impl<H, T: Eq> Eq for RawList<H, T>

impl<H: Sync, T: Sync> Sync for RawList<H, T>

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.