{"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":".map(|n|"}]}
            .map(|n| render_region_vid(self.tcx, *n, self.regioncx))
            .iter()
            .join(", ");