Enum ElementTy 

pub(crate) enum ElementTy<'tcx> {
    Typed(Ty<'tcx>),
    Generic,
}

The element type of an allocation’s contents, either a concrete [Ty] or symbolic (Generic).

Typed carries a concrete Ty — the element type of a slice, the object type of a Box<T>/struct, or u8 for a raw byte buffer — while Generic marks a symbolic element type whose concrete Ty cannot be determined (e.g. from_raw_parts::<T>; its size uses the shared symbolic sizeof_T and its length must be materialized via set_slice_len).

Variants

Typed(Ty<'tcx>)

Generic

Implementations

impl<'tcx> ElementTy<'tcx>

pub(crate) fn as_ty(&self) -> Option<Ty<'tcx>>

The concrete type, if known.

pub(crate) fn is_generic(&self) -> bool

Whether the element type is symbolic/unknown (no concrete Ty).

Trait Implementations

impl<'tcx> Clone for ElementTy<'tcx>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'tcx> Debug for ElementTy<'tcx>

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

Formats the value using the given formatter.

impl<'tcx> From<Option<Ty<'tcx>>> for ElementTy<'tcx>

fn from(o: Option<Ty<'tcx>>) -> Self

Converts to this type from the input type.