Struct KindedConstant 

pub struct KindedConstant { /* private fields */ }

Kinded constant carrier — host-tier (bits, kind) payload for Constant::Value.

Mirrors the §2.7.7/Q9 parallel-kind invariant: bits is the raw 8-byte slot payload (either an inline scalar or Arc::into_raw::<T> for the heap-pointer variant matching kind), and kind is the producer-side stamp. Refcount discipline goes through the kind label via clone_with_kind / drop_with_kind (§Q8 carrier-API bound — no per-heap-variant accessors here; the kind label is the dispatch discriminator).

Ownership. A KindedConstant owns one strong-count share (heap-bearing kinds) or is a pure inline scalar (no share). The share is bumped on Clone (linker / program cloning) and released on Drop (program teardown). Every op_push_const of the containing Constant::Value MUST clone_with_kind before pushing, so the constant retains its share for subsequent loads.

Surface. Constructed only by host code (test harness, embedding layer, comptime evaluator) — the compiler never emits a Constant::Value. The Constant enum’s #[serde(skip)] on this variant matches the host-injected semantics; on deserialization the Default impl reconstructs a null payload (caller must inject the host value before execution).

Implementations

impl KindedConstant

pub unsafe fn from_raw(bits: u64, kind: NativeKind) -> Self

Construct from raw (bits, kind). The caller transfers ownership of one strong-count share for heap-bearing kinds (the Arc::into_raw::<T> share). Inline scalars pass bits directly.

Safety

Caller must ensure bits is a valid representation of kind per the §2.7.5 producer-side stamp (e.g. for Ptr(HeapKind::T), bits is the result of Arc::into_raw::<TPayload> for the matching payload type TPayload).

pub fn from_datatable(table: Arc<DataTable>) -> Self

Construct a DataTable-kinded constant from an Arc<DataTable>. The Arc share is transferred into the constant (no additional clone); subsequent op_push_const calls bump the refcount via clone_with_kind.

pub fn from_row_view( schema_id: u64, table: Arc<DataTable>, row_idx: usize, ) -> Self

Construct a TableView-kinded RowView constant.

pub fn from_typed_table(schema_id: u64, table: Arc<DataTable>) -> Self

Construct a TableView-kinded TypedTable constant.

pub fn bits(&self) -> u64

The raw slot bits.

pub fn kind(&self) -> NativeKind

The producer-side stamped kind.

Trait Implementations

impl Clone for KindedConstant

fn clone(&self) -> Self

Cloning bumps the underlying refcount via clone_with_kind (mirror of KindedSlot::clone — single-discriminator dispatch via (bits, kind)).

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

Performs copy-assignment from source.

impl Debug for KindedConstant

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

Formats the value using the given formatter.

impl Default for KindedConstant

fn default() -> Self

Default reconstructs a null carrier (bits=0, kind=Null) — used only when serde encounters the #[serde(skip)] Value variant on deserialization. The host must inject the real payload before execution.

impl Drop for KindedConstant

fn drop(&mut self)

Drop releases the underlying refcount via drop_with_kind (mirror of KindedSlot::drop).

fn pin_drop(self: Pin<&mut Self>)

🔬This is a nightly-only experimental API. (pin_ergonomics)

Execute the destructor for this type, but different to Drop::drop, it requires self to be pinned.

impl PartialEq for KindedConstant

fn eq(&self, other: &Self) -> bool

Equality compares (bits, kind) — same heap pointer + same kind label. Sufficient for the constant-pool dedup contract (heap-payload equality is the same pointer identity, not deep content comparison).

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.