Сколько параметров на самом деле ожидает array_push ()?

http://php.net/manual/en/function.array-push.php ясно показывает сигнатуру функции, причем variadic не является обязательным:

int array_push ( array &$array [, mixed $... ] )

Я думаю, что при использовании array_push с оператором splat было бы крайне желательно, чтобы он принимал пустую переменную, например разрешить такой код:

<?php

function add( array $arr1, array $arr2 ) {
return \array_push($arr1, ...$arr2);
}

echo add(['foo'], ['bar']); // OK, returns 2
echo add(['foo'], []); // should be OK, but ain't currently - raises an E_WARNING
?>

Многие языки (например, Java) допускают пустые переменные в функциях (обычно это приводит к неработоспособности) по той же причине. PHP не, по крайней мере, не в PHP 7.1 или 7.2.

OTOH, хотя и разделяет похожее определение синтаксиса, array_merge и многие другие принимают пустую переменную и работают правильно, используя вышеупомянутый синтаксис splat:

var_dump( array_merge(['foo'], ...[]) ); // works for me.

Мои вопросы:

1. это на самом деле намеренное поведение и ошибка документации, ошибка в реализации или что-то еще?
2. (а) если это предполагаемое поведение, каково его обоснование в свете вышесказанного?
3. (б) если это ошибка, почему это происходит?

_{примечание: я проверил документы для других функций массива, и, например, http://php.net/manual/en/function.compact.php, http://php.net/manual/en/function.array-merge.php и т.д. покажите список параметров точно так, как ожидалось).}