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