{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
                // Assumption: all spans are in the same file, and all spans
            .filter_map(|mut substitution| {
                // are disjoint. Sort in ascending order.