если вызвать ArrayResize для уже существующего и заполненного массива?

 
Ответ на вопрос в архиве есть
Renat 30.05.05 08:57
Если новый размер больше старого, то все старые данные сохранятся(скопируются из старого буфера), а новое место заполнится нулями. Если новый размер меньше существующего, то массив урежется, но данные сохранятся.

Но нельзя ли уточнить, это документированное свойство или не документированное? То есть по факту оно не документировано, но это (не)сделано сознательно или "руки не дошли"? Другими словами, можно ли при написании программ рассчитывать именно на такое поведение?
 
Можно сказать, что это осознанное и гарантированное свойство, меняться не будет.
 
Можно сказать, что это осознанное и гарантированное свойство, меняться не будет.

Спасибо.
Причина обращения: