pub fn compute_abi_info<'a, Ty, C>(
    cx: &C,
    fn_abi: &mut FnAbi<'a, Ty>,
    param_policy: ParamExtension
)where
    Ty: TyAbiInterface<'a, C> + Copy,
    C: HasDataLayout,