{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"goal_kind,"}]}
                    goal_kind,
                    cx,
                    // No captures by ref, so this doesn't matter.