{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"RegionCtxt::Unknown"}]}
                    RegionCtxt::Unknown
                self.infcx.next_region_var(RegionVariableOrigin::Misc(self.body.span), || {
                }),