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