O tratamento do compilador das variáveis ​​de interface implícitas está documentado?

Eu fiz uma pergunta semelhante sobre variáveis ​​de interface implícitas não há muito tempo. A origem desta pergunta foi um bug em meu código devido ao fato de eu não estar ciente da existência de uma variável de interface implícita criada pelo compilador. Esta variável foi finalizada quando o...