Обобщения в Kotlin: как это компилируется?

Question

    fun <E> Set<E>.containsAny(vararg elements: E) = intersect(elements.toSet()).isNotEmpty()

    fun test() {
        emptySet<String>().containsAny(1, Unit)
    }

Это компилируется в Kotlin, почему?

Answer 1

Поскольку прогнозируемый тип аргументов будет <Any>. И тестовая функция может быть заменена на:

fun test() {
        emptySet<String>().containsAny<Any>(1, Unit)
    }

Для правильной работы функции необходимо явно передать тип:

fun test() {
        emptySet<String>().containsAny<String>(1, Unit) // Does not compile
    }

Или, если возможно, указать менее обобщенный c тип:

fun Set<Permission>.containsAny(vararg elements: Permission) = intersect(elements.toSet()).isNotEmpty()