Цитата Сообщение от elf/2
что такое типизированные указатели в асме?
какое влияние оказывает наличие маркера типа и размера блока на возможность его освобождения?

повторюсь еще раз, память можно освободить тогда когда переменная содержащая указатель на нее вышла из области видимости...

где в асме переменные и области видимости?
Похоже что коллега не понимает твой вопрос. Подразумевается, что используется ЯВУ (язык высокого уровня), соответственно имеется структура, имеется указатель структуры и т.д.
Вообще я так понимаю, что сборщик мусора есть свойство/метод ОСи (её менеджера памяти), который по этим структурам и осуществляет очистку, поэтому сборщик и ЯВУ никогда не развиваются по отдельности, а идут в ногу.