{"ast_node_type":"other","tokens":[{"end":91,"kind":"keyword","start":0,"text":"sm.filename_for_diagnostics(&annotated_file.file.name),"}]}
                                    sm.filename_for_diagnostics(&annotated_file.file.name),
                                    "{}:{}:{}",
                                    sm.doctest_offset_line(