> -- Trurl писал(а):
> Это фича  рантайма.

Эта "фича" ставит крест на хваленой "герметичность системы типов" в ББ. Т.е. "герметичность" начинает зависеть от программиста, который клятвенно обещает не брать ссылок на элементы массивов или записей. Причем пообещать-то он может, а вот проконтроллировать - уже нет, потому что ссылочность/не ссылочность зависит от автора процедуры (который однажды может поменять ее сигнатуру).

> -- Trurl писал(а):
> В начале Kernel есть констатнта, регулирующая степень консервативности.Если поставить FALSE, всё, напоминающее адрес в куче, будет рассматриваться как  адрес в куче.

А что при этом с производительностью GC становится (который в ББ и так не блещет)?