{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"{"}]}
                    {
                        || local.index() > self.mutable_args.domain_size()
                        continue;