{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"file_index_to_file:"}]}
            file_index_to_file: &self.file_index_to_file,
                .unwrap(),
            file_index_to_stable_id: &self.file_index_to_stable_id,