{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
                // two integers or two pointers into the same allocation.
                // With `OFFSET_IS_ADDR` this is trivial; without it we need either
                let (a_offset, b_offset, is_addr) = if M::Provenance::OFFSET_IS_ADDR {