{"ast_node_type":"other","tokens":[{"end":104,"kind":"keyword","start":0,"text":"//"}]}
            // If `count` is large, this is rather wasteful -- we are allocating a big array here, which
            let ptrs = self.ptrs.range(src.start..adjusted_end);
            // is mostly filled with redundant information since it's just N copies of the same `Prov`s