{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
        // add will be external.
        // We've now added all the global regions. The next ones we
        let first_extern_index = self.infcx.num_region_vars();