{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"//"}]}
        // `dest` could possibly overlap.
        // behind `src` and `dest`. Also, we use the overlapping-safe `ptr::copy` if `src` and
        // The pointers above remain valid even if the `HashMap` table is moved around because they