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> DynSend for SizeSkeleton<'tcx>

impl<'tcx> DynSync for SizeSkeleton<'tcx>

impl<'tcx> Freeze for SizeSkeleton<'tcx>

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<'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> Filterable for T

fn filterable( self, filter_name: &'static str ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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> Pointable for T

const ALIGN: usize = _

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

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<T> Any for T
where T: 'static + ?Sized,

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

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

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

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

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

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

impl<T> ToOwned for T
where T: Clone,

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

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

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

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,

impl<'a, T> Captures<'a> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T> MaybeSendSync for T
where T: Send + Sync,