syntax_data: {"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"[kind_ty,"}]}
source_snippet:                     [kind_ty, Ty::from_closure_kind(self.tcx(), goal_kind)],
context_before:                         .require_lang_item(LangItem::AsyncFnKindHelper, obligation.cause.span),
context_after:                 ),