{"ast_node_type":"other","tokens":[{"end":116,"kind":"keyword","start":0,"text":"//"}]}
                        // This could mean they point to different allocations, or they point to the same allocation
                    .map_err_kind(|_| {
                        // but not the entire range between the pointers is in-bounds.