Ничего странного, это, в принципе, логично.
(Очевидно, конечно, что это действует только для 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 - не наш случай).