{"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
            // If we can just ignore provenance or there is none, that's easy.
            // We are *not* reading a pointer.
            if Prov::OFFSET_IS_ADDR || self.provenance.range_empty(range, cx) {