{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"self.ptrs.remove_range(first..last);"}]}
        self.ptrs.remove_range(first..last);
        // i.e., this will not remove any other provenance just after the ones we care about.