{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"goal_region.into(),"}]}
            goal_region.into(),
            Ty::from_closure_kind(cx, goal_kind).into(),
            sig.tupled_inputs_ty.into(),