{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
            // The issuing region can flow into the choice regions, and they are either:
            //
            // - placeholders or free regions themselves,