{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"sig.tupled_inputs_ty.into(),"}]}
            sig.tupled_inputs_ty.into(),
            goal_region.into(),
            args.tupled_upvars_ty().into(),