{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"self.infcx.tcx.for_each_free_region(&ty,"}]}
        self.infcx.tcx.for_each_free_region(&ty, |live_region| {
            let live_region_vid = self.universal_regions.to_region_vid(live_region);