{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"Ty::from_closure_kind(cx,"}]}
        Ty::from_closure_kind(cx, goal_kind),
        args.parent_args(),
        cx.coroutine_for_closure(def_id),