{"ast_node_type":"other","tokens":[{"end":86,"kind":"keyword","start":0,"text":"//"}]}
                        // but not the entire range between the pointers is in-bounds.
                        // This could mean they point to different allocations, or they point to the same allocation
                        if let Ok((a_alloc_id, ..)) = self.ptr_try_get_alloc_id(a, 0)