{"ast_node_type":"other","tokens":[{"end":79,"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(&annotated_file.file.name, first_line.line_index),