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