Fixes #992. Prior to this we had no support for deconstructing the HIR ty of a function to get its arguments, which caused handle_ty to not generate any rewrites for function pointers in struct fields. This adds support for deconstructing the signatures by first asserting that the inputs and output of an HIR function signature match the length of the MIR function signature and then packages the inputs and outputs of the HIR signature into a vector.
Fixes #992. Prior to this we had no support for deconstructing the HIR ty of a function to get its arguments, which caused
handle_tyto not generate any rewrites for function pointers in struct fields. This adds support for deconstructing the signatures by first asserting that the inputs and output of an HIR function signature match the length of the MIR function signature and then packages the inputs and outputs of the HIR signature into a vector.