{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"init_mask:"}]}
    init_mask: InitMask,
    /// Invariant: the uninitialized parts have no provenance.
    /// The alignment of the allocation to detect unaligned reads.