{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"Region::new_placeholder(self.cx(),"}]}
                Region::new_placeholder(self.cx(), p)
                self.mapped_regions.insert(p, br);
            }