{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"for"}]}
        for br in referenced_regions.difference(&constrained_regions) {
    ) {
            let br_name = if let Some(name) = br.get_name(self.tcx()) {