Ist die Compiler-Behandlung impliziter Schnittstellenvariablen dokumentiert?

Ich habe vor nicht allzu langer Zeit eine ähnliche Frage zu impliziten Schnittstellenvariablen gestellt. Die Quelle dieser Frage war ein Fehler in meinem Code, weil ich nicht wusste, dass eine implizite Schnittstellenvariable vorhanden ist, die vom Compiler erstellt wurde. Diese Variable wurde...