Спасибо, но у динамического массива есть уникальный дескриптор.

И статической проверки компилятором в этом случае быть не может. См. какой-нибудь цикл по массиву, передаваемому в качестве VAR параметра.

Весь смысл здесь в том, чтобы код не зависел от длины массива, в том числе в случае нуля.