{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":")"}]}
    ) -> Option<(Option<Symbol>, Span)> {
        fr: RegionVid,
        debug!("get_var_name_and_span_for_region(fr={fr:?})");