{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"goal_kind,"}]}
                goal_kind,
                goal.predicate.self_ty(),
                // This region doesn't matter because we're throwing away the coroutine type