Задокументирована ли обработка компилятором неявных переменных интерфейса?

Не так давно я задал аналогичный вопрос о неявных переменных интерфейса. Источником этого вопроса была ошибка в моем коде из-за того, что я не знал о существовании неявной интерфейсной переменной, созданной компилятором. Эта переменная была завершена после завершения процедуры, которой она...