{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"//"}]}
        // Encode the index of the `SourceFile` for the span, in order to make decoding faster.
        metadata_index.encode(s);