fn test_abi_eq<'tcx>(
    abi1: &'tcx FnAbi<'tcx, Ty<'tcx>>,
    abi2: &'tcx FnAbi<'tcx, Ty<'tcx>>
) -> bool