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