когда освобождаются компоненты анонимного доступа составных типов?

Мне интересно, какова продолжительность жизни/момент, когда память восстанавливается для анонимного объекта, такого как этот:

type Cell_Type is abstract tagged limited record
   Where : Coordinates_Array; -- 2D array
   Contents : access String;
end CELl_TYPE;

Cell_type также предназначен для создания с помощью распределителей. Я знаю правило (или так думаю, поправьте меня, если я ошибаюсь) для именованных типов доступа, то есть пул восстанавливается, когда заканчивается область определения типа (не подтипа). А как насчет анонимных объектов доступа? В правилах сказано: Пул хранения, используемый для распределителя анонимного типа доступа, должен определяться следующим образом: 25.1/2 : [сорасширения, я понял]

25.2/2: Для других дискриминантов доступа и параметров доступа пул памяти должен создаваться в точке распределителя и освобождаться, когда выделенный объект становится недоступным; [Я не думаю, что это имеет значение здесь... Мой случай не кажется дискриминантом доступа, хотя синтаксис кажется похожим]

25.3/3 [доступ к функциям возврата, не имеет значения]

25.4/2: В противном случае пул хранения по умолчанию должен быть создан в точке, где разрабатывается анонимный тип доступа; такой пул хранения не должен поддерживать освобождение отдельных объектов.

Итак? Когда «Содержимое» освобождается, тогда ?

• A: В самом конце программы?

• Или B: когда тип "cell_type" выходит за рамки? Что для определения уровня библиотеки будет означать конец области создания экземпляра библиотеки... что будет означать A в моем случае.