{"ast_node_type":"other","tokens":[{"end":97,"kind":"keyword","start":0,"text":"//"}]}
            // Zero-sized *source*, that means dest is also zero-sized and we have nothing to do.
        let Some((src_alloc_id, src_offset, src_prov)) = src_parts else {
            return interp_ok(());