{"ast_node_type":"other","tokens":[{"end":17,"kind":"keyword","start":0,"text":"init,"}]}
            init,
        dest_alloc.init_mask_apply_copy(
            alloc_range(dest_offset, size), // just a single copy (i.e., not full `dest_range`)