Enum rustc_middle::ty::layout::SizeSkeleton

source ·

pub enum SizeSkeleton<'tcx> {
    Known(Size),
    Generic(Const<'tcx>),
    Pointer {
        non_zero: bool,
        tail: Ty<'tcx>,
    },
}

Expand description

Type size “skeleton”, i.e., the only information determining a type’s size. While this is conservative, (aside from constant sizes, only pointers, newtypes thereof and null pointer optimized enums are allowed), it is enough to statically check common use cases of transmute.

Variants§

§

Known(Size)

Any statically computable Layout.

§

Generic(Const<'tcx>)

This is a generic const expression (i.e. N * 2), which may contain some parameters. It must be of type usize, and represents the size of a type in bytes. It is not required to be evaluatable to a concrete value, but can be used to check that another SizeSkeleton is of equal size.

§

Pointer

Fields

§non_zero: bool

If true, this pointer is never null.

§tail: Ty<'tcx>

The type which determines the unsized metadata, if any, of this pointer. Either a type parameter or a projection depending on one, with regions erased.

A potentially-fat pointer.

Enum rustc_middle::ty::layout::SizeSkeleton

Variants§

Known(Size)

Generic(Const<'tcx>)

Pointer

Fields

Implementations§

impl<'tcx> SizeSkeleton<'tcx>

pub fn compute( ty: Ty<'tcx>, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx> ) -> Result<SizeSkeleton<'tcx>, &'tcx LayoutError<'tcx>>

pub fn same_size(self, other: SizeSkeleton<'tcx>) -> bool

Trait Implementations§

impl<'tcx> Clone for SizeSkeleton<'tcx>

fn clone(&self) -> SizeSkeleton<'tcx>

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

impl<'tcx> Debug for SizeSkeleton<'tcx>

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

impl<'tcx> Copy for SizeSkeleton<'tcx>

Auto Trait Implementations§

impl<'tcx> !RefUnwindSafe for SizeSkeleton<'tcx>

impl<'tcx> Send for SizeSkeleton<'tcx>

impl<'tcx> Sync for SizeSkeleton<'tcx>

impl<'tcx> Unpin for SizeSkeleton<'tcx>

impl<'tcx> !UnwindSafe for SizeSkeleton<'tcx>

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment = _

impl<T> Any for Twhere T: 'static + ?Sized,

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

impl<T> Borrow<T> for Twhere T: ?Sized,

fn borrow(&self) -> &T

impl<T> BorrowMut<T> for Twhere T: ?Sized,

fn borrow_mut(&mut self) -> &mut T

impl<T, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> From<T> for T

fn from(t: T) -> T

impl<T, U> Into<U> for Twhere U: From<T>,

fn into(self) -> U

impl<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

fn clone_into(&self, target: &mut T)

impl<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T

impl<T, U> TryFrom<U> for Twhere U: Into<T>,

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for Twhere U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,

default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T

Layout§