{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"cx,"}]}
                cx,
            structural_traits::extract_tupled_inputs_and_output_from_async_callable(
                goal.predicate.self_ty(),