Struct PackedInit 

pub struct PackedInit<'a> {
    pub seg_packed_off: &'a [u32],
    pub bytes: &'a [u8],
}

The EMITTED packed-.data init region of the #354 mixed split: each segment’s bytes at its 4-aligned packed offset, in declaration order, EXCLUDING the trailing __synth_globals slots. Both fields are read back from what the compiler actually laid out / filled — the validator never recomputes the packing (that would mirror-pin the check).

Fields

seg_packed_off: &'a [u32]

Packed offset of each segment inside the init region (declaration order, parallel to the segment list).

bytes: &'a [u8]

The init-region bytes the object will ship (segments + 4-align padding). A span byte served from BEYOND this region (the globals slots, or past the blob) can never be a linear-memory byte.

Trait Implementations

impl<'a> Clone for PackedInit<'a>

fn clone(&self) -> PackedInit<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for PackedInit<'a>

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

Formats the value using the given formatter.