{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"args.tupled_upvars_ty(),"}]}
        args.tupled_upvars_ty(),
        goal_region,
        args.coroutine_captures_by_ref_ty(),