Type Alias MemoryKind

pub type MemoryKind = MemoryKind<MiriMemoryKind>;

Aliased Type

pub enum MemoryKind {
    Stack,
    CallerLocation,
    Machine(MiriMemoryKind),
}

Variants

Stack

Stack memory. Error if deallocated except during a stack pop.

CallerLocation

Memory allocated by caller_location intrinsic. Error if ever deallocated.

Machine(MiriMemoryKind)

Additional memory kinds a machine wishes to distinguish from the builtin ones.

Trait Implementations

impl From<MiriMemoryKind> for MemoryKind

fn from(kind: MiriMemoryKind) -> MemoryKind

Converts to this type from the input type.

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.