{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"region.idents.extend_from_slice(&idents_to_add);"}]}
                        region.idents.extend_from_slice(&idents_to_add);
                        region.impl_blocks.insert(i);
                        // Update the connected region ids