{"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":".map(|p|"}]}
                .map(|p| RegionElement::Location(self.location_map.to_location(p))),
            self.live_points(region)
        )