Trait HashMapValueElem 

pub unsafe trait HashMapValueElem {
    // Required methods
    unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)
       where Self: Sized;
    unsafe fn share_clone(elem: &Self) -> Self
       where Self: Sized;
    unsafe fn release_owned(value: Self)
       where Self: Sized;
}

Per-V dispatcher trait for HashMapData<V>::Drop — releases the value buffer (*mut TypedArray<V>) at refcount-0 of the enclosing Arc<HashMapData<V>>.

Authority: ADR-006 §2.7.24 Q25.B SUPERSEDED + bulldozer-wave-1-inventory.md §C.4 option (a.2). The trait dispatches per-V release at compile time via the Rust type system — no runtime NativeKind probe, no is_heap() probe, no Bool-default fallback. Mirror of v2::heap_element::HeapElement shape, but operates on the OUTER TypedArray<V> allocation rather than on individual heap-element pointers.

Impls partition V into:

• POD scalar Vs (i64, f64, u8 for Bool): TypedArray::<V>::drop_array frees the data buffer + the struct; no per-element work.
• HeapHeader-equipped raw pointers (*const StringObj, *const DecimalObj): TypedArray::<*const T>::drop_array_heap walks the data buffer and calls T::release_elem per element, then frees the struct. Requires T: v2::heap_element::HeapElement.
• #[repr(transparent)] newtype-as-element shapes (TypedObjectPtr, TraitObjectPtr): manual walk that ptr::reads each element to invoke its Drop (which retires the v2-raw refcount share via release_elem on the inner *const TypedObjectStorage / *const TraitObjectStorage).

Char (char codepoint) is reachable per §C.5 dead-but-derived disposition — included as a POD-scalar V.

Safety

Implementors must guarantee:

1. release_typed_array(ptr) is sound when ptr points to a live TypedArray<Self> allocation produced by TypedArray::<Self>::new / with_capacity / from_slice.
2. After this call, ptr is invalid; the data buffer + struct are freed.
3. Per-element ownership semantics match the storage contract — POD elements need no per-element release; HeapHeader-equipped elements have their shares retired before the data buffer is freed.

Required Methods

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

where Self: Sized,

Release a *mut TypedArray<Self> allocation: retire per-element shares (where applicable) + free the data buffer + free the struct.

Safety

ptr must point to a valid, live TypedArray<Self> allocated by the v2-raw TypedArray::<Self> allocator (new, with_capacity, from_slice). After this call returns, ptr is invalid.

unsafe fn share_clone(elem: &Self) -> Self

where Self: Sized,

Clone a single element with proper refcount-share semantics.

• POD scalar Vs (i64/f64/u8/char): byte copy — no refcount work.
• HeapHeader-equipped raw pointers (*const StringObj/*const DecimalObj): pointer copy + v2_retain on the pointed-to HeapHeader.
• #[repr(transparent)] ptr-newtypes (TypedObjectPtr/TraitObjectPtr): delegate to the wrapper’s Clone impl (which does v2_retain).

Wave 2 Round 3b C2-joint ckpt-3 (2026-05-14): added to support the per-V mutation API (insert / merge / get_share) on HashMapData<V>. Per ADR-006 §2.7.24 Q25.B SUPERSEDED + audit §C.4.

Safety

elem must reference a live element of a TypedArray<Self> (or a freshly-allocated element owned by the caller). The implementor must produce a new owned share — for HeapElement / ptr-newtype V this bumps the refcount on the pointed-to allocation; for POD V it is a trivial copy.

unsafe fn release_owned(value: Self)

where Self: Sized,

Release a single owned value (one refcount share). For POD V it is a no-op (byte copy falls out of scope). For HeapElement V the share is retired via release_elem on the pointer. For Ptr-newtype V the wrapper’s Drop runs automatically when the value drops.

Wave 2 Round 3b C2-joint ckpt-3 (2026-05-14): added for the per-V mutation API’s overwrite path (insert when key already present — the old value’s share must be retired before the slot is overwritten).

Safety

value must be a valid owned V — for HeapElement / ptr-newtype V types the caller transfers one refcount share to this method, which retires it.

Implementations on Foreign Types

impl HashMapValueElem for char

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

Char codepoint (4 bytes / element). Dead-but-derived per §C.5; included for forward-cleanliness with the HeapValue::Char xml/json marshal path.

unsafe fn share_clone(elem: &Self) -> Self

unsafe fn release_owned(_value: Self)

impl HashMapValueElem for f64

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

unsafe fn share_clone(elem: &Self) -> Self

unsafe fn release_owned(_value: Self)

impl HashMapValueElem for i64

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

unsafe fn share_clone(elem: &Self) -> Self

unsafe fn release_owned(_value: Self)

impl HashMapValueElem for *const DecimalObj

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

unsafe fn share_clone(elem: &Self) -> Self

unsafe fn release_owned(value: Self)

impl HashMapValueElem for *const StringObj

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

unsafe fn share_clone(elem: &Self) -> Self

unsafe fn release_owned(value: Self)

impl HashMapValueElem for u8

unsafe fn release_typed_array(ptr: *mut TypedArray<Self>)

Used as the Bool V (one byte per element).

unsafe fn share_clone(elem: &Self) -> Self

unsafe fn release_owned(_value: Self)

Implementors

impl HashMapValueElem for HashMapKindedRef

impl HashMapValueElem for TraitObjectPtr

impl HashMapValueElem for TypedObjectPtr