¿Está documentado el tratamiento del compilador de las variables de interfaz implícitas?

Hice una pregunta similar sobre las variables de interfaz implícitas no hace mucho tiempo. La fuente de esta pregunta fue un error en mi código debido a que no estaba al tanto de la existencia de una variable de interfaz implícita creada por el compilador. Esta variable se finalizó cuando...