Skip to main content

jit_print_priority_queue

shape_jit::ffi::conversion

Function jit_print_priority_queue 

Source 
#[unsafe(no_mangle)]
pub extern "C" fn jit_print_priority_queue(
    ctx_ptr: *const JITContext,
    bits: u64,
)
Expand description

Print an Arc<PriorityQueueData>-shaped slot as PriorityQueue[v1, v2, ...] in heap-array order (NOT sorted). Dispatched when the operand kind is proven NativeKind::Ptr(HeapKind::PriorityQueue).

Mirrors jit_print_mutex — delegates to the canonical VM-side ValueFormatter::format_kinded, which renders PriorityQueueData per printing.rs:465-478 + format_priority_queue (printing.rs:725-740).

SAFETY: bits must be Arc::into_raw(Arc<PriorityQueueData>) as u64 per the producer-site contract on every KindedSlot::from_priority_queue-shaped producer (VM-side BuiltinFunction::PriorityQueueCtor). ADR-006 §2.7.5.B 2026-05-16