{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//"}]}
                // are disjoint. Sort in ascending order.
                // Assumption: all spans are in the same file, and all spans
                substitution.parts.sort_by_key(|part| part.span.lo());