{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"self.highlight_if_we_cannot_match_hir_ty(fr,"}]}
                self.highlight_if_we_cannot_match_hir_ty(fr, arg_ty, span, counter)
                let counter = *self.next_region_name.try_borrow().unwrap();
            });