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