Czy jest udokumentowane traktowanie przez kompilator niejawnych zmiennych interfejsu?

Nie tak dawno zadałem podobne pytanie dotyczące niejawnych zmiennych interfejsu. Źródłem tego pytania był błąd w moim kodzie, ponieważ nie byłem świadomy istnienia niejawnej zmiennej interfejsu utworzonej przez kompilator. Ta zmienna została sfinalizowana, gdy procedura, która była jej...