{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":".get_erased(err.span().anchor.ast_id)"}]}
                        .get_erased(err.span().anchor.ast_id)
                    + db.ast_id_map(editioned_file_id.into())
                        .text_range()