{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"self.infcx.num_region_vars()"}]}
            self.infcx.num_region_vars()
            // late-bound region replacement are all considered 'extern' regions
        };