Ничего странного, это, в принципе, логично.

(Очевидно, конечно, что это действует только для IN-параметров).

Однако в описании этого всё же, видимо, нет.

Вопросы совместимости параметров - открытых массивов регулируются вот этим:
> -- Цитата:
> Совместимость по массивам [Array compatible]Фактический параметр a типа Ta является совместимым по массивам с формальным параметром f типа Tf, если1.  Tf и Ta — эквивалентны, или2.  Tf — открытый массив, Ta — произвольный массив, и типы их элементов совместимы по массивам, или3.  Tf — открытый массив CHAR, и Ta имеет тип String, или4.  Tf — открытый массив SHORTCHAR, и Ta имеет тип Shortstring.

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