Влияет ли на выполнение финализатора после выгрузки модуля-реализации то, что сам финализатор реализован для абстрактного базового типа, который расположен в другом модуле?

То есть, понятно, что проверка на валидность спасёт от трэпов, но в памяти останется незачищеный элемент списка, в котором лежит идентификатор сущности, которая после выгрузки модуля уже не выполнит финализатор.