А тип какой?

По юзкейсам тайпклассов (еяпп что такое тайпкласс)
Библиотечный класс А похож на List, но не реализует его
Библиотечная функция f хочет лист
Сейчас для таких случаев пишется обёртка
Хотя можно и не писать

То, что там выражение может стоять в "abc". В JS нет времени компиляции, там это не важно

Тайп класс тут не особо при чем. Обертка отлично решает эту проблему.

Так это же мы упрощаем работу компилятору, не усложняем. Обычно принимает что угодно, а тут ещё проще, константы всякие.

Так а в рантайме что должна программа сделать, получив этот вызов?

componentN же тоже не просто так не как component(n: Int) сделаны.

Такой-же, как в случае использования функций componentN.

fun Foo.get(String): Int

val { abc } = foo

тип у abc - Int


fun <T> Foo.get(String): T

val { abc: Boolean } = foo

тип у abc - Boolean

Выглядит как ансейф каст в рантайме

У каждой componentN конкретный статический тип, а тут нет

в общем, я читал недавно всякие иссью и там вроде елизаров писал "We are almost ready to add extension block, but first we need to /*сосредоточиться на более приземленных вещах*/ and implement multireceivers"

во факту этот extension блок позволит делать тайпклассы, isn't it ?

А вот это неправда :)

Есть вот такая у меня утилитка для Mockito:

object MockUtils {
    inline operator fun <reified T> InvocationOnMock.component1(): T = getArgument(0, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component2(): T = getArgument(1, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component3(): T = getArgument(2, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component4(): T = getArgument(3, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component5(): T = getArgument(4, T::class.java)
    inline operator fun <reified T> InvocationOnMock.get(index: Int): T = getArgument(index, T::class.java)
}

interface Summable<T> {
   operator fun T.sum(other: T): T
}

extension Int : Summable<Int>

object MockUtils {
    inline operator fun <reified T> InvocationOnMock.component1(): T = getArgument(0, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component2(): T = getArgument(1, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component3(): T = getArgument(2, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component4(): T = getArgument(3, T::class.java)
    inline operator fun <reified T> InvocationOnMock.component5(): T = getArgument(4, T::class.java)
    inline operator fun <reified T> InvocationOnMock.get(index: Int): T = getArgument(index, T::class.java)
}

Это же моки, там без динамики никак. Но обычным датаклассам она не нужна

Еще раз, что там будет, если там выражение, а не константная строка?

Вот поддерживаю всеми руками

Зачем при деструктурировании позволять что-то, кроме констант? Как-то не видится, что кому-то нужно:

val { "a".repeat(100) } = foo

Ну так тогда так и надо говорить, что там могут быть только константы. И тогда возникает волшебная функция, у которой разный возвращаемый (статический!) тип в зависимости от аргумента. Фигня какая-то

Он не статический, он зависит от типа справа (например от ключа в мапе)