Type Alias MemoryKind

Source
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§

Source§

impl From<MiriMemoryKind> for MemoryKind

Source§

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.