Поддерживает ли kotlin создание класса, реализующего интерфейс за пределами его файла определения?

Я вижу kotlin.List и kotlin.MutableList реализуется java.util.ArrayList. Но где же Котлин поставил этот трюк? Компилятор или где-нибудь в stdlib?

Если kotlin поддерживает создание класса, реализующего интерфейс за пределами своего файла определения, такого как случай ArrayList, он будет очарован.

Нет, он не поддерживается.

Вы правы, это всего лишь компилятор. В коллекциях много волшебства, чтобы сделать их правильными. К счастью, он недоступен для разработчиков. Специальный пункт в документах: https://kotlinlang.org/docs/reference/java-interop.html#mapped-types