Apakah perlakuan kompilator terhadap variabel antarmuka implisit didokumentasikan?

Saya mengajukan pertanyaan serupa tentang variabel antarmuka implisit belum lama ini. Sumber pertanyaan ini adalah bug dalam kode saya karena saya tidak menyadari keberadaan variabel antarmuka implisit yang dibuat oleh kompilator. Variabel ini diselesaikan ketika prosedur yang dimilikinya...