Struct rustc_ap_rustc_target::abi::Layout [−][src]
pub struct Layout { pub fields: FieldsShape, pub variants: Variants, pub abi: Abi, pub largest_niche: Option<Niche>, pub align: AbiAndPrefAlign, pub size: Size, }
Fields
fields: FieldsShape
Says where the fields are located within the layout.
variants: Variants
Encodes information about multi-variant layouts.
Even with Multiple
variants, a layout still has its own fields! Those are then
shared between all variants. One of them will be the discriminant,
but e.g. generators can have more.
To access all fields of this layout, both fields
and the fields of the active variant
must be taken into account.
abi: Abi
The abi
defines how this data is passed between functions, and it defines
value restrictions via valid_range
.
Note that this is entirely orthogonal to the recursive structure defined by
variants
and fields
; for example, ManuallyDrop<Result<isize, isize>>
has
Abi::ScalarPair
! So, even with non-Aggregate
abi
, fields
and variants
have to be taken into account to find all fields of this layout.
largest_niche: Option<Niche>
The leaf scalar with the largest number of invalid values
(i.e. outside of its valid_range
), if it exists.
align: AbiAndPrefAlign
size: Size
Implementations
Trait Implementations
impl<__CTX> HashStable<__CTX> for Layout where
__CTX: HashStableContext,
[src]
impl<__CTX> HashStable<__CTX> for Layout where
__CTX: HashStableContext,
[src]fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)
[src]
impl Eq for Layout
[src]
impl StructuralEq for Layout
[src]
impl StructuralPartialEq for Layout
[src]
Auto Trait Implementations
impl RefUnwindSafe for Layout
impl Send for Layout
impl Sync for Layout
impl Unpin for Layout
impl UnwindSafe for Layout
Blanket Implementations
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]pub fn borrow_mut(&mut self) -> &mut T
[src]
pub fn borrow_mut(&mut self) -> &mut T
[src]Mutably borrows from an owned value. Read more
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]
impl<Q, K> Equivalent<K> for Q where
K: Borrow<Q> + ?Sized,
Q: Eq + ?Sized,
[src]pub fn equivalent(&self, key: &K) -> bool
[src]
pub fn equivalent(&self, key: &K) -> bool
[src]Compare self to key
and return true
if they are equal.
impl<T> Instrument for T
[src]
impl<T> Instrument for T
[src]fn instrument(self, span: Span) -> Instrumented<Self>
[src]
fn instrument(self, span: Span) -> Instrumented<Self>
[src]Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
fn in_current_span(self) -> Instrumented<Self>
[src]
fn in_current_span(self) -> Instrumented<Self>
[src]impl<T> MaybeResult<T> for T
[src]
impl<T> MaybeResult<T> for T
[src]impl<T> Same<T> for T
impl<T> Same<T> for T
type Output = T
type Output = T
Should always be Self
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
pub fn vzip(self) -> V
impl<'a, T> Captures<'a> for T where
T: ?Sized,
[src]
T: ?Sized,