закладываться на особенности реализации?

а протом проходит дцать лет и начинаются крики "во всех статях написано CopyMemory(@my, ... - но оно ниработает!!!!"

P.S. и ты не поверишь, я даже часто пишу @data[Low(data)]
После того как несколько раз мозг себе ломал выискивая случайные разрушения памяти после переноса старых программ на нолвый Паскаль/Дельфи

надо будет поискать Delphi 1.0, в котором динамических массивов вообще не было

как и в турбо-паскале, куски кода которого переобозвали кусками кода Delphi

Vlad FИмя переменной типа массив в обсуждаемом языке всегда было (и будет, аминь) указателем на его первый элемент.

Delphi XE2type TSta = array[2..3] of byte;
TDyn = array of byte;

procedure Tst( aStatic: TSta; aDynamic: TDyn; aOpen: array of Byte);
var P: pointer;
begin
p := aStatic; // [DCC Error] Project38.dpr(16): E2010 Incompatible types: 'Pointer' and 'TSta'
p := aDynamic;
p := aOpen; // [DCC Error] Project38.dpr(18): E2010 Incompatible types: 'Pointer' and 'array of Byte'
end;


Только в одном из трёх случаев - когда "особенности реализации" такие - "Имя переменной типа массив" может быть присвоено указателю. В двух третях случаев - даже не скомпилируется.

И даже один случай из трёх - только потому, что динамический массив - так же как классы, длинные строки, интерфейсы - был реализован как указатель на record.

И это я ещё не смотрел что именно присваивается, вопрос был "пкусть не работает, лишь бы хотя как-то скомпилировалось".

А если ещё чуть усложнить...
type TSta = array[2..3] of array [4..5] of byte;
TDyn = array of array of byte;