{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
        // Prepare a copy of the initialization mask.
            .map_err(|e| e.to_interp_error(src_alloc_id))?;
        let init = src_alloc.init_mask().prepare_copy(src_range);