Enum SlotKind 

pub enum SlotKind {
    Float64,
    NullableFloat64,
    Int8,
    NullableInt8,
    UInt8,
    NullableUInt8,
    Int16,
    NullableInt16,
    UInt16,
    NullableUInt16,
    Int32,
    NullableInt32,
    UInt32,
    NullableUInt32,
    Int64,
    NullableInt64,
    UInt64,
    NullableUInt64,
    IntSize,
    NullableIntSize,
    UIntSize,
    NullableUIntSize,
    Bool,
    String,
    NanBoxed,
    Unknown,
}

Describes the storage kind for a single local/parameter slot in a frame.

Used by the JIT and VM to generate more efficient code by knowing the actual storage representation at compile time.

This was previously named StorageHint; the alias is kept for backwards compatibility.

Variants

Float64

Plain f64 value (direct float operations)

NullableFloat64

Nullable f64 using NaN sentinel (Option) IEEE 754: NaN + x = NaN, so null propagates automatically

Int8

Plain i8 value

NullableInt8

Nullable i8 value

UInt8

Plain u8 value

NullableUInt8

Nullable u8 value

Int16

Plain i16 value

NullableInt16

Nullable i16 value

UInt16

Plain u16 value

NullableUInt16

Nullable u16 value

Int32

Plain i32 value

NullableInt32

Nullable i32 value

UInt32

Plain u32 value

NullableUInt32

Nullable u32 value

Int64

Plain i64 value

NullableInt64

Nullable i64 value

UInt64

Plain u64 value

NullableUInt64

Nullable u64 value

IntSize

Plain isize value

NullableIntSize

Nullable isize value

UIntSize

Plain usize value

NullableUIntSize

Nullable usize value

Bool

Boolean value

String

String reference

NanBoxed

NaN-boxed value: the raw u64 bits are a valid NaN-boxed interpreter value. Used for boxed locals and operand stack entries in precise deopt metadata. The VM unmarshals these via direct transmute (zero-cost passthrough).

Unknown

Type not determined at compile time (falls back to NaN-boxed dispatch). Should NOT appear in precise deopt metadata — use NanBoxed instead. Reserved for truly uninitialized/unresolved slots.

Implementations

impl SlotKind

pub fn from_storage_type(st: &StorageType) -> Self

Convert from runtime StorageType

Maps semantic storage types to JIT optimization hints:

• Primitive types map directly
• NullableFloat64 enables NaN sentinel optimization
• Complex types fall back to boxed representation

pub fn is_integer(self) -> bool

pub fn is_nullable_integer(self) -> bool

pub fn is_integer_family(self) -> bool

pub fn is_default_int_family(self) -> bool

pub fn is_float_family(self) -> bool

pub fn is_numeric_family(self) -> bool

pub fn is_pointer_sized_integer(self) -> bool

pub fn is_signed_integer(self) -> Option<bool>

pub fn integer_bit_width(self) -> Option<u16>

pub fn non_nullable(self) -> Self

pub fn with_nullability(self, nullable: bool) -> Self

pub fn combine_integer_hints(lhs: Self, rhs: Self) -> Option<Self>

Trait Implementations

impl Clone for SlotKind

fn clone(&self) -> SlotKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SlotKind

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

Formats the value using the given formatter.

impl Default for SlotKind

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for SlotKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl From<StorageType> for SlotKind

fn from(st: StorageType) -> Self

Convert from runtime StorageType to JIT StorageHint

impl Hash for SlotKind

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SlotKind

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for SlotKind

impl Eq for SlotKind

impl StructuralPartialEq for SlotKind