{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"choice_regions.iter().all(|&r2|"}]}
            choice_regions.iter().all(|&r2| {
        let totally_ordered_subset = choice_regions.iter().copied().filter(|&r1| {
                self.universal_region_relations.outlives(r1, r2)