Enum stable_mir::mir::alloc::GlobalAlloc

pub enum GlobalAlloc {
    Function(Instance),
    VTable(Ty, Option<Binder<ExistentialTraitRef>>),
    Static(StaticDef),
    Memory(Allocation),
}

An allocation in the SMIR global memory can be either a function pointer, a static, or a “real” allocation with some data in it.

Variants

Function(Instance)

The alloc ID is used as a function pointer.

VTable(Ty, Option<Binder<ExistentialTraitRef>>)

This alloc ID points to a symbolic (not-reified) vtable. The None trait ref is used to represent auto traits.

Static(StaticDef)

The alloc ID points to a “lazy” static variable that did not get computed (yet). This is also used to break the cycle in recursive statics.

Memory(Allocation)

The alloc ID points to memory.

Implementations

impl GlobalAlloc

pub fn vtable_allocation(&self) -> Option<AllocId>

Retrieve the allocation id for a global allocation if it exists.

For [GlobalAlloc::VTable], this will return the allocation for the VTable of the given type for the optional trait if the type implements the trait.

This method will always return None for allocations other than [GlobalAlloc::VTable].

Trait Implementations

impl Clone for GlobalAlloc

fn clone(&self) -> GlobalAlloc

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for GlobalAlloc

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

Formats the value using the given formatter.

impl From<AllocId> for GlobalAlloc

fn from(value: AllocId) -> Self

Converts to this type from the input type.

impl PartialEq for GlobalAlloc

fn eq(&self, other: &GlobalAlloc) -> 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 Serialize for GlobalAlloc

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for GlobalAlloc

impl StructuralPartialEq for GlobalAlloc

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 72 bytes

Size for each variant:

• Function: 24 bytes
• VTable: 64 bytes
• Static: 8 bytes
• Memory: 64 bytes