{"ast_node_type":"other","tokens":[{"end":72,"kind":"keyword","start":0,"text":"[kind_ty,"}]}
                        [kind_ty, Ty::from_closure_kind(cx, goal_kind)],
                        cx.require_lang_item(TraitSolverLangItem::AsyncFnKindHelper),
                    )