fn fn_sig_for_fn_abi<'tcx>(
    tcx: TyCtxt<'tcx>,
    instance: Instance<'tcx>,
    param_env: ParamEnv<'tcx>
) -> PolyFnSig<'tcx>